\[ForAll]

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

See Also

\[Exists]  \[Not]

Tutorials

Introduced in 1996
(3.0)