TeX source:
x \leq a