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

All > MathML - Content > Arithmetic, Algebra, Logic > forall1


File: forall1
Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
Origin: W3C MathML test suite

Rendering:Rendered image MathML source
ElementsAttributes
apply
bvar
ci
condition
fn
forall
in
math
not

Source

<math xmlns="http://www.w3.org/1998/Math/MathML" >
     <apply>
          <not/>
          <apply>
               <forall/>
               <bvar>
                    <ci>s</ci>
               </bvar>
               <condition>
                    <apply>
                         <in/>
                         <ci>s</ci>
                         <ci>S</ci>
                    </apply>
               </condition>
               <apply>
                    <in/>
                    <apply>
                         <fn>
                              <ci>f</ci>
                         </fn>
                         <ci>x</ci>
                    </apply>
                    <ci>T</ci>
               </apply>
          </apply>
     </apply>
</math>


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