Syntax definition cefmnd

Description: Extend class notation to include the class of monoids of endofunctions.

	Ref	Expression
Assertion	cefmnd	class EndoFMnd