This is LaTeX code:
[latex]
\neg (\forall \, n \in \mathbb{N}) \, n \mid 1
[/latex]