Syntax definition c1o

Description: Extend the definition of a class to include the ordinal number 1.

	Ref	Expression
Assertion	c1o	$$class{1}_{𝑜}$$