TeX source:
4 < 2 x-1 < 6