\[ForAll]

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