This is LaTeX code:
[latex]
(\exists ~ a,b,c \in \mathbb{R})((a \leq b) \wedge (c>0)) \wedge (a \cdot c > b \cdot c)
[/latex]