Syntax definition cons

Description: Declare the syntax for surreal ordinals.

	Ref	Expression
Assertion	cons	Could not format assertion : No typesetting found for class On_s with typecode class