TeX source:
1 \le x \le 3