texmath-0.6: tests/axiom_of_power_set.omml

<?xml version='1.0' ?>
<m:oMathPara>
  <m:oMath>
    <m:r>
      <m:rPr />
      <m:t>∀</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>A</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t> </m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>∃</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>P</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t> </m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>∀</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>B</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t> </m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>[</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>B</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>∈</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>P</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>⇔</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>∀</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>C</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t> </m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>(</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>C</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>∈</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>B</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>⇒</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>C</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>∈</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>A</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>)</m:t>
    </m:r>
    <m:r>
      <m:rPr />
      <m:t>]</m:t>
    </m:r>
  </m:oMath>
</m:oMathPara>