Syntax definition ccmp

Description: Extend class notation with the class of all compact spaces.

	Ref	Expression
Assertion	ccmp	$$class\mathrm{Comp}$$