This is LaTeX code:
[latex]
A\Leftrightarrow B \equiv (A \wedge B) \vee (\neg A \wedge \neg B)
[/latex]