Syntax definition ccntr

Description: Syntax for the centralizer of a monoid.

	Ref	Expression
Assertion	ccntr	class Cntr