Syntax definition cmat

Description: Syntax for the square matrix algebra.

	Ref	Expression
Assertion	cmat	$$class\mathrm{Mat}$$