Syntax definition cn0

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

	Ref	Expression
Assertion	cn0	$$class{\mathbb{N}}_0$$