This is documentation for Mathematica 8, 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.
  • is by default interpreted as Exists.