This is LaTeX code:

[latex]
 
((x\leq y)\wedge (z\geq 0)\Rightarrow xz\leq yz)
 
[/latex]