This is documentation for Mathematica 7, 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.
  • Existsxy is by default interpreted as Exists[x, y].