Source TeX:
a \leq c