TeX source:
a\leq c < b