TeX source:
7 < \frac{z}{2}+3