ZVON > References > MathML Reference
Intro / Search / ZVON

Go to Standard
Element:forall
Attributes:class | definitionURL | encoding | id | other | style | xlink:href | xref |
Parents:apply | bvar | condition | declare | degree | domainofapplication | fn | interval | lambda | list | logbase | lowlimit | matrix | matrixrow | momentabout | otherwise | piece | reln | semantics | set | uplimit | vector |

Examples:

XHTML documentMathML Source
Example from standard
<apply>
     <forall/>
     <bvar>
          <ci> x </ci>
     </bvar>
     <apply>
          <eq/>
          <apply>
               <minus/>
               <ci> x </ci>
               <ci> x </ci>
          </apply>
          <cn>0</cn>
     </apply>
</apply>
XHTML documentMathML Source
Example from standard
<apply>
     <forall/>
     <bvar>
          <ci> p </ci>
     </bvar>
     <bvar>
          <ci> q </ci>
     </bvar>
     <condition>
          <apply>
               <and/>
               <apply>
                    <in/>
                    <ci> p </ci>
                    <rationals/>
               </apply>
               <apply>
                    <in/>
                    <ci> q </ci>
                    <rationals/>
               </apply>
               <apply>
                    <lt/>
                    <ci> p </ci>
                    <ci> q </ci>
               </apply>
          </apply>
     </condition>
     <apply>
          <lt/>
          <ci> p </ci>
          <apply>
               <power/>
               <ci> q </ci>
               <cn> 2 </cn>
          </apply>
     </apply>
</apply>
XHTML documentMathML Source
Example from standard
<apply>
     <forall/>
     <bvar>
          <ci> n </ci>
     </bvar>
     <condition>
          <apply>
               <and/>
               <apply>
                    <gt/>
                    <ci> n </ci>
                    <cn> 0 </cn>
               </apply>
               <apply>
                    <in/>
                    <ci> n </ci>
                    <integers/>
               </apply>
          </apply>
     </condition>
     <apply>
          <exists/>
          <bvar>
               <ci> x </ci>
          </bvar>
          <bvar>
               <ci> y </ci>
          </bvar>
          <bvar>
               <ci> z </ci>
          </bvar>
          <condition>
               <apply>
                    <and/>
                    <apply>
                         <in/>
                         <ci> x </ci>
                         <integers/>
                    </apply>
                    <apply>
                         <in/>
                         <ci> y </ci>
                         <integers/>
                    </apply>
                    <apply>
                         <in/>
                         <ci> z </ci>
                         <integers/>
                    </apply>
               </apply>
          </condition>
          <apply>
               <eq/>
               <apply>
                    <plus/>
                    <apply>
                         <power/>
                         <ci> x </ci>
                         <ci> n </ci>
                    </apply>
                    <apply>
                         <power/>
                         <ci> y </ci>
                         <ci> n </ci>
                    </apply>
               </apply>
               <apply>
                    <power/>
                    <ci> z </ci>
                    <ci> n </ci>
               </apply>
          </apply>
     </apply>
</apply>