Syntax definition cismt

Description: Declare the constant for the isometry builder.

	Ref	Expression
Assertion	cismt	$$classIsmt$$