TeX source:
-5 \leq x \leq 7