TeX source:
y < a