Syntax definition caltxp

Description: Declare the syntax for an alternate Cartesian product.

	Ref	Expression
Assertion	caltxp	$$class\left(A\mathrm{\times \times }B\right)$$