<<< native
[ ESymbol Op "\172"
, EDelimited
    "("
    ")"
    [ Right (EIdentifier "p")
    , Right (ESymbol Bin "\8743")
    , Right (EIdentifier "q")
    ]
, ESymbol Rel "\8660"
, EDelimited
    "(" ")" [ Right (ESymbol Op "\172") , Right (EIdentifier "p") ]
, ESymbol Bin "\8744"
, EDelimited
    "(" ")" [ Right (ESymbol Op "\172") , Right (EIdentifier "q") ]
, EOver
    False
    (EGrouped
       [ EUnderover
           True
           (ESymbol Op "\8899")
           (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
           (EIdentifier "n")
       , ESub (EIdentifier "A") (EIdentifier "i")
       ])
    (ESymbol TOver "\175")
, 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 "\175")
]
>>> 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: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>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:t>q</m:t>
        </m:r>
      </m:e>
    </m:d>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>¬</m:t>
        </m:r>
        <m:r>
          <m:t>p</m:t>
        </m:r>
      </m:e>
    </m:d>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <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:rPr>
            <m:sty m:val="p" />
          </m:rPr>
          <m:t>¬</m:t>
        </m:r>
        <m:r>
          <m:t>q</m:t>
        </m:r>
      </m:e>
    </m:d>
    <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:subHide m:val="0" />
            <m:supHide m:val="0" />
          </m:naryPr>
          <m:sub>
            <m:r>
              <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:t>1</m:t>
            </m:r>
          </m:sub>
          <m:sup>
            <m:r>
              <m:t>n</m:t>
            </m:r>
          </m:sup>
          <m:e>
            <m:sSub>
              <m:e>
                <m:r>
                  <m:t>A</m:t>
                </m:r>
              </m:e>
              <m:sub>
                <m:r>
                  <m:t>i</m:t>
                </m:r>
              </m:sub>
            </m:sSub>
          </m:e>
        </m:nary>
      </m:e>
    </m:bar>
    <m:r>
      <m:rPr>
        <m:sty m:val="p" />
      </m:rPr>
      <m:t>=</m:t>
    </m:r>
    <m:limLow>
      <m:e>
        <m:limUpp>
          <m:e>
            <m:r>
              <m:rPr>
                <m:sty m:val="p" />
              </m:rPr>
              <m:t>⋂</m:t>
            </m:r>
          </m:e>
          <m:lim>
            <m:r>
              <m:t>n</m:t>
            </m:r>
          </m:lim>
        </m:limUpp>
      </m:e>
      <m:lim>
        <m:r>
          <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:t>1</m:t>
        </m:r>
      </m:lim>
    </m:limLow>
    <m:bar>
      <m:barPr>
        <m:pos m:val="top" />
      </m:barPr>
      <m:e>
        <m:sSub>
          <m:e>
            <m:r>
              <m:t>A</m:t>
            </m:r>
          </m:e>
          <m:sub>
            <m:r>
              <m:t>i</m:t>
            </m:r>
          </m:sub>
        </m:sSub>
      </m:e>
    </m:bar>
  </m:oMath>
</m:oMathPara>