Syntax definition c4o

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

	Ref	Expression
Assertion	c4o	$$class{4}_{𝑜}$$