TeX source:

7 \frac{1}{2}