TeX source:
y ≤ a