texmath-0.6.7: tests/src/deMorgans_law.tex
\neg(p\wedge q)\iff(\neg p)\vee(\neg q)
\overline{\bigcup_{i=1}^{n} A_{i}}=\bigcap_{i=1}^{n} \overline{A_{i}}
\neg(p\wedge q)\iff(\neg p)\vee(\neg q)
\overline{\bigcup_{i=1}^{n} A_{i}}=\bigcap_{i=1}^{n} \overline{A_{i}}