TeX source:
2x+3 \leq 13