Syntax definition ccmgm2

Description: Extend class notation with class of all commutative magmas.

	Ref	Expression
Assertion	ccmgm2	$$class\mathrm{CMgmALT}$$