Syntax definition cn0s

Description: Declare the syntax for surreal non-negative integers.

	Ref	Expression
Assertion	cn0s	class NN0_s