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