Syntax definition cmcn

Description: The set of constants.

	Ref	Expression
Assertion	cmcn	$$class\mathrm{mCN}$$