\[ForAll]

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