This is LaTeX code:
[latex]
(\forall m,n\in\mathbb{Q}, m<n)\, (\exists p\in\mathbb{R}) m<p<n
[/latex]