Reals represents the domain of real numbers, as in x Reals.
x Reals evaluates immediately only if x is a numeric quantity.
Simplify[expr Reals] can be used to try to determine whether an expression corresponds to a real number.
Within Simplify and similar functions, objects that satisfy inequalities are always assumed to be real.
Reals is output in TraditionalForm as .
See Section 1.4.6, Section 3.3.10 and Section 3.4.9.
See also: Element, Simplify, Real, Integers, Complexes, Algebraics, ComplexExpand, PowerExpand.
New in Version 4.