TeX source:
y>0