This is LaTeX code:
[latex]
\displaystyle \forall y \exists x: p(x) > y
[/latex]