prev
(
testsuite
>
StrictContent
>
ArithmeticAlgebraLogic
>
forall
> rec-forall3 )
next
Alternatives:
(
mml file
) (
full
) (
simple
) (
plain
) (
form
) (
slideshow
)
File:
StrictContent/ArithmeticAlgebraLogic/forall/rec-forall3
CVS-ID:
Author:
MathML 2 Recomendation
Description:
forall/and/lt/power
Sample Rendering:
Your browser's rendering
:
forall
p
q
implies
in
p
q
suchthat
R
lambda
p
q
and
in
p
Q
in
q
Q
lt
p
q
lt
p
power
q
2