prev
(
testsuite
>
StrictContent
>
ArithmeticAlgebraLogic
>
forall
> rec-forall4 )
next
Alternatives:
(
mml file
) (
full
) (
simple
) (
plain
) (
form
) (
slideshow
)
File:
StrictContent/ArithmeticAlgebraLogic/forall/rec-forall4
CVS-ID:
Author:
MathML 2 Recomendation
Description:
forall/exists/and/plus
Sample Rendering:
Your browser's rendering
:
forall
n
implies
in
n
suchthat
R
lambda
n
and
gt
n
0
in
n
Z
exists
x
y
z
and
in
x
y
z
suchthat
R
lambda
x
y
z
and
in
x
Z
in
y
Z
in
z
Z
eq
plus
power
x
n
power
y
n
power
z
n