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