Syntax definition crp

Description: Extend class notation to include the class of positive reals.

	Ref	Expression
Assertion	crp	$$class{ℝ}^{+}$$