\[ForAll]

  • Unicode: 2200.
  • Alias: fa.
  • Compound operator.
  • is by default interpreted as ForAll[x,y].