Syntax definition csubma

Description: Syntax for submatrices of a square matrix.

	Ref	Expression
Assertion	csubma	$$class\mathrm{subMat}$$