texmath-0.13.1.2: test/reader/omml/axiom_of_power_set.test

<<< omml
<?xml version="1.0" encoding="UTF-8"?>
<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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>A</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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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: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>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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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: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>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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>A</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:oMath>
</m:oMathPara>

>>> native
[ ESymbol Ord "\8704"
, EIdentifier "A"
, ESpace (1 % 6)
, ESymbol Ord "\8707"
, EIdentifier "P"
, ESpace (1 % 6)
, ESymbol Ord "\8704"
, EIdentifier "B"
, ESpace (1 % 6)
, ESymbol Open "["
, EIdentifier "B"
, ESymbol Rel "\8712"
, EIdentifier "P"
, ESymbol Rel "\8660"
, ESymbol Ord "\8704"
, EIdentifier "C"
, ESpace (1 % 6)
, ESymbol Open "("
, EIdentifier "C"
, ESymbol Rel "\8712"
, EIdentifier "B"
, ESymbol Rel "\8658"
, EIdentifier "C"
, ESymbol Rel "\8712"
, EIdentifier "A"
, ESymbol Close ")"
, ESymbol Close "]"
]