TeX source:
b \leq a