mathmlben/data/mathematical/5.mml

Visualization for goldstandard

<?xml version="1.0" encoding="UTF-8"?>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
   <semantics xmlns="">
      <mrow>
         <mo>∀</mo>
         <mi>x</mi>
         <mspace width="thinmathspace"/>
         <mo>∀</mo>
         <mi>y</mi>
         <mspace width="thinmathspace"/>
         <mi>P</mi>
         <mo stretchy="false">(</mo>
         <mi>x</mi>
         <mo>,</mo>
         <mi>y</mi>
         <mo stretchy="false">)</mo>
         <mo>⇔</mo>
         <mo>∀</mo>
         <mi>y</mi>
         <mspace width="thinmathspace"/>
         <mo>∀</mo>
         <mi>x</mi>
         <mspace width="thinmathspace"/>
         <mi>P</mi>
         <mo stretchy="false">(</mo>
         <mi>x</mi>
         <mo>,</mo>
         <mi>y</mi>
         <mo stretchy="false">)</mo>
      </mrow>
      <annotation encoding="application/x-tex">\forall x \, \forall y \, P(x,y) \Leftrightarrow \forall y \, \forall x \, P(x,y)</annotation>
   </semantics>
</math>