Syntax definition cresub

Description: Real number subtraction.

	Ref	Expression
Assertion	cresub	$$class{-}_{ℝ}$$