Syntax definition ccycls

Description: Extend class notation with cycles (in a graph).

	Ref	Expression
Assertion	ccycls	$$class\mathrm{Cycles}$$