TeX source:
4 < 2 x-8 \leq 10