TeX source:
x<1,y>5