TeX Quellcode:

{(p}\leftrightarrow{q)}\wedge\neg{p}\Rightarrow\neg{q}