Syntax definition caltxp

Description: Declare the syntax for an alternate Cartesian product.

	Ref	Expression
Assertion	caltxp	class ( 𝐴 ×× 𝐵 )