Syntax definition ctxp

Description: Declare the syntax for tail Cartesian product.

	Ref	Expression
Assertion	ctxp	$$class\left(A\otimes B\right)$$