Syntax definition cmgmhom

Description: Syntax for the set of magma morphisms.

	Ref	Expression
Assertion	cmgmhom	$$class\underset{Mgm}{⟶}$$