Zdroj TeX:
t^2+3t \leq t - 1