This is LaTeX code:
[latex]
(\forall n\in{\bf N})(a_n\leq a_{n+1}\wedge\ldots
[/latex]