Syntax definition ctocyc

Description: Extend class notation with the permutation cycle builder.

	Ref	Expression
Assertion	ctocyc	$$class\mathrm{toCyc}$$