TeX source:

(P\lor Q)\leftrightarrow (\neg P\to Q)