TeX source:
1 < x < 3