 |
)
BUILT-IN MATHEMATICA SYMBOL
ForAll 
Details
- ForAll[x, expr] can be entered as
. The character 
can be entered as EscfaEsc or \[ForAll]. The variable 
is given as a subscript. - ForAll[x, cond, expr] can be entered as
. - In StandardForm, ForAll[x, expr] is output as
. - ForAll[x, cond, expr] is output as
. - ForAll can be used in such functions as Reduce, Resolve, and FullSimplify.
- The condition cond is often used to specify the domain of a variable, as in x
Integers. - ForAll[x, cond, expr] is equivalent to ForAll[x, Implies[cond, expr]].
- ForAll[{x1, x2, ...}, ...] is equivalent to
. - The value of
in ForAll[x, expr] is taken to be localized, as in Block.
New in 5
