TeX source:
2 < y < 3