Syntax definition caltxp

Description: Declare the syntax for an alternate Cartesian product.

	Ref	Expression
Assertion	caltxp	class ( A XX. B )