TeX source:
6: 4 < 2 x-1 < 6