TeX source:
1 \leq x \leq C