Syntax definition ccusgr

Description: Extend class notation with complete simple graphs.

	Ref	Expression
Assertion	ccusgr	$$class\mathrm{ComplUSGraph}$$