Syntax definition creno

Description: Declare the syntax for the surreal reals.

	Ref	Expression
Assertion	creno	$$class{ℝ}_s$$