DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
Exists
\[Exists]
Alias: ex. Compound operator. is by default interpreted as Exists[x, y]. See Section 3.10.4. See also: \[NotExists] .