TeX source:
-3\le x\le 8