Syntax definition cltxr

Description: Syntax for the standard (strict) order on the extended reals.

	Ref	Expression
Assertion	cltxr	class <ℝ̅