TeX source:
y > -6