TeX source:
2.5 < x < 3.5