Wolfram Language & System 10.4 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)

\[ForAll]

  • Unicode: 2200.
  • Alias: EscfaEsc.
  • Compound operator.
  • is by default interpreted as ForAll[x,y].
Introduced in 1996
(3.0)