Syntax definition cmsax

Description: The indexing set for a syntax axiom.

	Ref	Expression
Assertion	cmsax	$$class\mathrm{mSAX}$$