Syntax definition cxdiv

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

	Ref	Expression
Assertion	cxdiv	$$class{÷}_{𝑒}$$