Syntax definition cxmu

Description: Extend class notation to include multiplication of extended reals.

	Ref	Expression
Assertion	cxmu	class ·e