Syntax definition ctxp

Description: Declare the syntax for tail Cartesian product.

	Ref	Expression
Assertion	ctxp	class ( 𝐴 ⊗ 𝐵 )