TeX source:
y > 0