Syntax definition cxr

Description: The set of extended reals (includes plus and minus infinity).

	Ref	Expression
Assertion	cxr	class ℝ*