% https://latexeditor.lagrida.com/
p \leftrightarrow q \equiv & (p \rightarrow q) \wedge (q \rightarrow p) \\
p \rightarrow q \equiv & \neg p \vee q