DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
ForAll
\[ForAll]
Alias: fa. Compound operator. is by default interpreted as ForAll[x, y]. See Section 3.10.4. See also: \[Exists] , \[Not] .