TeX Quellcode:

({p}\leftrightarrow{q})\Leftrightarrow({p}\rightarrow{q})\wedge({p}\leftarrow{q})