TeX source:

4 < x < 16