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	Could not format assertion : No typesetting found for class TC+ A with typecode class