This is LaTeX code:
[latex]
\neg (A\implies B)\iff (A\land \neg B)
[/latex]