Syntax definition cnn0s

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

	Ref	Expression
Assertion	cnn0s	class ℕ0s