texmath-0.6.7: tests/writers/deMorgans_law.tex
\neg ({p}\wedge {q})\Leftrightarrow (\neg {p})\vee (\neg {q})\overline{{\bigcup }_{{i}=1}^{{n}}{{A}}_{{i}}}={\bigcap }_{{i}=1}^{{n}}\overline{{{A}}_{{i}}}\neg ({p}\wedge {q})\Leftrightarrow (\neg {p})\vee (\neg {q})\overline{{\bigcup }_{{i}=1}^{{n}}{{A}}_{{i}}}={\bigcap }_{{i}=1}^{{n}}\overline{{{A}}_{{i}}}