\[Exists]

  • Unicode: 2203.
  • エイリアス：ex
  • 複合演算子．
  • はデフォルトでExists[x,y]として解釈される．