\[Exists]

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