TeX source:
\frac{20}{5} =