Syntax definition csx

Description: Extend class notation with the product sigma-algebra operation.

	Ref	Expression
Assertion	csx	$$class{\times }_s$$