Syntax definition cmo

Description: Extend class notation with the modulo operation.

	Ref	Expression
Assertion	cmo	$$class\mathrm{mod}$$