Syntax definition cmax

Description: The set of axioms.

	Ref	Expression
Assertion	cmax	$$class\mathrm{mAx}$$