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

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


File: logic6
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
eq
exists
fn
forall
in
math
not
notin

Source

<math xmlns="http://www.w3.org/1998/Math/MathML" >
     <apply>
          <eq/>
          <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>
          <apply>
               <exists/>
               <bvar>
                    <ci>s</ci>
               </bvar>
               <condition>
                    <apply>
                         <in/>
                         <ci>s</ci>
                         <ci>S</ci>
                    </apply>
               </condition>
               <apply>
                    <notin/>
                    <apply>
                         <fn>
                              <ci>f</ci>
                         </fn>
                         <ci>s</ci>
                    </apply>
                    <ci>T</ci>
               </apply>
          </apply>
     </apply>
</math>


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