Real Numbers

R ( | arg:1 | ) arg:1 arg:2

We denote the set of real numbersrealnumbers we all know and love with RealNumbers.

The absolute value absvalr of a real number r.