This is LaTeX code:

[latex]
 
(\forall x \in R) : x \geq 5 \rightarrow x^2 \geq 25
 
[/latex]