TeX source:

y ≥ a