Syntax definition cxmu

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

	Ref	Expression
Assertion	cxmu	$$class{\cdot }_{𝑒}$$