TeX source:
x \geq \dfrac{7}{3}