This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
Mathematica Character Name

\[Exists]

  • Unicode: 2203.
  • Alias: Esc ex Esc.
  • Compound operator.
  • xy is by default interpreted as Exists[x, y].