TeX source:
6 \leq \dfrac{x}{2}+5