texmath-0.12.3: tests/writers/axiom_of_power_set.omml

<?xml version='1.0' ?>
<m:oMathPara>
  <m:oMathParaPr>
    <m:jc m:val="center" />
  </m:oMathParaPr>
  <m:oMath>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>∀</m:t>
    </m:r>
    <m:r>
      <m:t>A</m:t>
    </m:r>
    <m:r>
      <m:t> </m:t>
    </m:r>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>∃</m:t>
    </m:r>
    <m:r>
      <m:t>P</m:t>
    </m:r>
    <m:r>
      <m:t> </m:t>
    </m:r>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>∀</m:t>
    </m:r>
    <m:r>
      <m:t>B</m:t>
    </m:r>
    <m:r>
      <m:t> </m:t>
    </m:r>
    <m:d>
      <m:dPr>
        <m:begChr m:val="[" />
        <m:endChr m:val="]" />
        <m:sepChr m:val="" />
        <m:grow />
      </m:dPr>
      <m:e>
        <m:r>
          <m:t>B</m:t>
        </m:r>
        <m:r>
          <m:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>∈</m:t>
        </m:r>
        <m:r>
          <m:t>P</m:t>
        </m:r>
        <m:r>
          <m:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>⇔</m:t>
        </m:r>
        <m:r>
          <m:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>∀</m:t>
        </m:r>
        <m:r>
          <m:t>C</m:t>
        </m:r>
        <m:r>
          <m:t> </m:t>
        </m:r>
        <m:d>
          <m:dPr>
            <m:begChr m:val="(" />
            <m:endChr m:val=")" />
            <m:sepChr m:val="" />
            <m:grow />
          </m:dPr>
          <m:e>
            <m:r>
              <m:t>C</m:t>
            </m:r>
            <m:r>
              <m:rPr>
                <m:sty m:val="p" />
              </m:rPr>
              <m:t>∈</m:t>
            </m:r>
            <m:r>
              <m:t>B</m:t>
            </m:r>
            <m:r>
              <m:rPr>
                <m:sty m:val="p" />
              </m:rPr>
              <m:t>⇒</m:t>
            </m:r>
            <m:r>
              <m:t>C</m:t>
            </m:r>
            <m:r>
              <m:rPr>
                <m:sty m:val="p" />
              </m:rPr>
              <m:t>∈</m:t>
            </m:r>
            <m:r>
              <m:t>A</m:t>
            </m:r>
          </m:e>
        </m:d>
      </m:e>
    </m:d>
  </m:oMath>
</m:oMathPara>