Syntax definition cmgm

Description: Extend class notation with class of all magmas.

	Ref	Expression
Assertion	cmgm	$$class\mathrm{Mgm}$$