Fuente TeX:

x^2 + y^2 \leq 1 \implies \rho^2 \leq 1 \implies \rho \leq 1