TeX source:
1.6 < x < 9.6