Source TeX:
b \leq c