This is LaTeX code:
[latex]
(\forall x \in R) (\forall y \in R) x*y < 14 \Rightarrow x < 2 \vee y < 7
[/latex]