prev
(
testsuite
>
StrictContent
>
ArithmeticAlgebraLogic
>
ceiling
> rec-ceiling2 )
next
Alternatives:
(
mml file
) (
full
) (
simple
) (
plain
) (
form
) (
slideshow
)
File:
StrictContent/ArithmeticAlgebraLogic/ceiling/rec-ceiling2
CVS-ID:
Author:
MathML 2 Recommendation
Description:
Sample Rendering:
Your browser's rendering
:
forall
a
and
lt
minus
ceiling
a
1
a
leq
a
ceiling
a