This is LaTeX code:
[latex]
\neg Q \Longrightarrow \neg P
[/latex]