TeX source:
2x+5 \leq x-25