Syntax definition ccart

Description: Declare the syntax for the cartesian function.

	Ref	Expression
Assertion	ccart	$$class\mathrm{𝖢𝖺𝗋𝗍}$$