TeX source:
2 < x < 5