TeX source:
\frac{10}{80}=\frac{1}{8}