This is LaTeX code:
[latex]
\iff (\forall x (x\leq 3) \lor (\exists y)((x \neq y) \land (y>3)))
[/latex]