TeX source:
-7\le x \le5