Syntax definition ctrans

Description: Declare the transitive set class.

	Ref	Expression
Assertion	ctrans	$$class\mathrm{𝖳𝗋𝖺𝗇𝗌}$$