Syntax definition cxrs

Description: Extend class notation with the extended real number structure.

	Ref	Expression
Assertion	cxrs	class ℝ*𝑠