This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / The Mathematica Book / Mathematica Reference Guide / Listing of Named Characters /

ForAll

ForAll \[ForAll]

FilledSmallSquare Alias: AliasIndicatorfaAliasIndicator.

FilledSmallSquare Compound operator.

FilledSmallSquare is by default interpreted as ForAll[x, y].

FilledSmallSquare See Section 3.10.4.

FilledSmallSquare See also: \[Exists] , \[Not] .