Syntax definition csx

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

	Ref	Expression
Assertion	csx	class ×s