RE: Standard notation for the set of nonnegative reals