Syntax definition csmat

Description: Syntax for a function generating submatrices.

	Ref	Expression
Assertion	csmat	$$class{\mathrm{subMat}}_1$$