TeX source:
\frac{20}{80}=.25