TeX source:
0\lt y\lt q