Syntax definition ccplgr

Description: Extend class notation with (arbitrary) complete graphs.

	Ref	Expression
Assertion	ccplgr	$$class\mathrm{ComplGraph}$$