Syntax definition cttc

Description: Extend class notation with the transitive closure of a class. (Contributed by Matthew House, 6-Apr-2026)

	Ref	Expression
Assertion	cttc	class TC+ A