Source TeX:
b \leq a