Syntax definition cxnn0

Description: The set of extended nonnegative integers.

	Ref	Expression
Assertion	cxnn0	$$class{\mathbb{N}}_0^{*}$$