Syntax definition cn0

Description: Extend class notation to include the class of nonnegative integers.

	Ref	Expression
Assertion	cn0	class NN0