TeX source:
y < 0