Syntax definition ctc

Description: Extend class notation to include the transitive closure function.

	Ref	Expression
Assertion	ctc	$$class\mathrm{TC}$$