TeX source:
\neg p\lor q