Syntax definition ccatc

Description: Extend class notation to include the category Cat.

	Ref	Expression
Assertion	ccatc	$$class\mathrm{CatCat}$$