Syntax definition cn0s

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

	Ref	Expression
Assertion	cn0s	$$class{\mathbb{N}}_{\mathrm{0s}}$$