Syntax definition cn

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

	Ref	Expression
Assertion	cn	$$class\mathbb{N}$$