Complexes represents the domain of complex numbers, as in x Complexes.
x Complexes evaluates immediately only if x is a numeric quantity.
Simplify[expr Complexes] can be used to try to determine whether an expression corresponds to a complex number. The domain of real numbers is taken to be a subset of the domain of complex numbers.
Complexes is output in TraditionalForm as . See The Mathematica Book on the web: Section 3.3.10. See also: Element, Simplify, NumberQ, NumericQ, Complex, Reals.