TeX source:

7 < 4 x < 9