Syntax definition cxp

Description: Extend the definition of a class to include the Cartesian product.

	Ref	Expression
Assertion	cxp	$$class\left(A\times B\right)$$