Source TeX:
\neg p \wedge \neg q