Syntax definition cexid

Description: Extend class notation with the class of all the internal operations with an identity element.

	Ref	Expression
Assertion	cexid	$$class\mathrm{ExId}$$