Syntax definition cxps

Description: Binary product structure function.

	Ref	Expression
Assertion	cxps	$$class{\times }_{𝑠}$$