\[Exists]

  • Unicode: 2203.
  • エイリアス:EscexEsc
  • 複合演算子.
  • はデフォルトでExists[x,y]として解釈される.
1996年に導入
(3.0)