TeX source:
3 \leq 2 x+2 \quad