TeX source:
a \leq c