TeX source:
1 \leq 2 x \quad 2 x < 4