texmath-0.8: tests/src/deMorgans_law.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>