Syntax definition comn

Description: Extend class notation with the higher loop spaces.

	Ref	Expression
Assertion	comn	$$class{\Omega }_{\mathrm{𝑛}}$$