\[Exists]

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

See Also

\[NotExists]

Tutorials

Introduced in 1996
(3.0)