Syntax definition cons

Description: Declare the syntax for surreal ordinals.

	Ref	Expression
Assertion	cons	$$class{On}_s$$