TeX source:
a < x \leq b