<<< 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>(</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>q</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>(</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>(</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>q</m:t>
    </m:r>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>)</m:t>
    </m:r>
    <m:bar>
      <m:barPr>
        <m:pos m:val="top" />
      </m:barPr>
      <m:e>
        <m:nary>
          <m:naryPr>
            <m:chr m:val="⋃" />
            <m:limLoc m:val="undOvr" />
            <m:supHide m:val="off" />
            <m:supHide m:val="off" />
          </m:naryPr>
          <m:e>
            <m:sSub>
              <m:e>
                <m:r>
                  <m:rPr>
                    <m:sty m:val="p" />
                  </m:rPr>
                  <m:t>A</m:t>
                </m:r>
              </m:e>
              <m:sub>
                <m:r>
                  <m:rPr>
                    <m:sty m:val="p" />
                  </m:rPr>
                  <m:t>i</m:t>
                </m:r>
              </m:sub>
            </m:sSub>
          </m:e>
          <m:sub>
            <m:r>
              <m:rPr>
                <m:sty m:val="p" />
              </m:rPr>
              <m:t>i</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>1</m:t>
            </m:r>
          </m:sub>
          <m:sup>
            <m:r>
              <m:rPr>
                <m:sty m:val="p" />
              </m:rPr>
              <m:t>n</m:t>
            </m:r>
          </m:sup>
        </m:nary>
      </m:e>
    </m:bar>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>=</m:t>
    </m:r>
    <m:nary>
      <m:naryPr>
        <m:chr m:val="⋂" />
        <m:limLoc m:val="undOvr" />
        <m:supHide m:val="off" />
        <m:supHide m:val="off" />
      </m:naryPr>
      <m:e>
        <m:bar>
          <m:barPr>
            <m:pos m:val="top" />
          </m:barPr>
          <m:e>
            <m:sSub>
              <m:e>
                <m:r>
                  <m:rPr>
                    <m:sty m:val="p" />
                  </m:rPr>
                  <m:t>A</m:t>
                </m:r>
              </m:e>
              <m:sub>
                <m:r>
                  <m:rPr>
                    <m:sty m:val="p" />
                  </m:rPr>
                  <m:t>i</m:t>
                </m:r>
              </m:sub>
            </m:sSub>
          </m:e>
        </m:bar>
      </m:e>
      <m:sub>
        <m:r>
          <m:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>i</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>1</m:t>
        </m:r>
      </m:sub>
      <m:sup>
        <m:r>
          <m:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>n</m:t>
        </m:r>
      </m:sup>
    </m:nary>
  </m:oMath>
</m:oMathPara>

>>> native
[ ESymbol Ord "\172"
, ESymbol Open "("
, EIdentifier "p"
, ESymbol Bin "\8743"
, EIdentifier "q"
, ESymbol Close ")"
, ESymbol Rel "\8660"
, ESymbol Open "("
, ESymbol Ord "\172"
, EIdentifier "p"
, ESymbol Close ")"
, ESymbol Bin "\8744"
, ESymbol Open "("
, ESymbol Ord "\172"
, EIdentifier "q"
, ESymbol Close ")"
, EOver
    False
    (EGrouped
       [ EUnderover
           True
           (ESymbol Op "\8899")
           (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
           (EIdentifier "n")
       , ESub (EIdentifier "A") (EIdentifier "i")
       ])
    (ESymbol TOver "\773")
, ESymbol Rel "="
, EUnderover
    True
    (ESymbol Op "\8898")
    (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
    (EIdentifier "n")
, EOver
    False
    (ESub (EIdentifier "A") (EIdentifier "i"))
    (ESymbol TOver "\773")
]