This is LaTeX code:
[latex]
(\forall x)(\neg P(x) \vee \exists y(P(y) \wedge y \neq x))
[/latex]