Source TeX:
a\leq c