This is LaTeX code:

[latex]
 
(a\leq a) i (b\leq b)
\Longrightarrow (a,b) \rho (a,b)
 
[/latex]