Syntax definition cmvar

Description: The set of variables.

	Ref	Expression
Assertion	cmvar	$$class\mathrm{mVR}$$