Syntax definition cmoore

Description: Syntax for the class of Moore collections.

	Ref	Expression
Assertion	cmoore	$$class\underset{\_}{\mathrm{Moore}}$$