Syntax definition ctcl

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

	Ref	Expression
Assertion	ctcl	$$class\mathrm{t+}$$