Source TeX:
a \leq b