TeX source:
5 < 2 x < 7