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