Syntax definition cssc

Description: Extend class notation to include the subset relation for subcategories.

	Ref	Expression
Assertion	cssc	$$class{\subseteq }_{\mathrm{cat}}$$