\[Exists]

  • Unicode: 2203.
  • Alias: ex.
  • Compound operator.
  • is by default interpreted as Exists[x,y].
Introduced in 1996
 (3.0)