Syntax definition cefmnd

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

	Ref	Expression
Assertion	cefmnd	Could not format assertion : No typesetting found for class EndoFMnd with typecode class