TeX source:
3-1 < 4 x-5 < 3+1