Syntax definition com

Description: Extend class notation to include the class of natural numbers.

	Ref	Expression
Assertion	com	class ω