TeX Quellcode:

y\leq \dfrac{35}{3}