This is LaTeX code:
[latex]
(\exists x \ \in $\mathbb{A}$ R) (\exists y \in $\mathbb{A}$ R) x \geqslant 2 \wedge y \geqslant 7 \wedge x*y < 14
[/latex]