This is LaTeX code:
[latex]
r(AB) \leq r(A^\tau) = r(A)
[/latex]