TeX source:
1.3 < x < 6.7