TeX source:
7\frac{11}{12}