ZVON > References > Zvon Example Repository
Intro / Search / ZVON
Example repository: index | categories | search

All > MathML - Content > Arithmetic, Algebra, Logic > rec-ceiling2


File: rec-ceiling2
Author: MathML 2 Recommendation
Origin: W3C MathML test suite

Rendering:Rendered image MathML source
ElementsAttributes
and
apply
bvar
ceiling
ci
cn
forall
leq
lt
math
minus

Source

<math xmlns="http://www.w3.org/1998/Math/MathML" >
     <apply>
          <forall/>
          <bvar>
               <ci> a </ci>
          </bvar>
          <apply>
               <and/>
               <apply>
                    <lt/>
                    <apply>
                         <minus/>
                         <apply>
                              <ceiling/>
                              <ci>a</ci>
                         </apply>
                         <cn>1</cn>
                    </apply>
                    <ci>a</ci>
               </apply>
               <apply>
                    <leq/>
                    <ci>a</ci>
                    <apply>
                         <ceiling/>
                         <ci>a</ci>
                    </apply>
               </apply>
          </apply>
     </apply>
</math>


Sponsored links: answering service, VoIP Internettelefonie, DSL, SDSL, ADSL