texmath-0.2.0.4: tests/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}}