Syntax definition cod

Description: Extend class notation to include the order function on the elements of a group.

	Ref	Expression
Assertion	cod	$$class\mathrm{od}$$