TeX source:
\dfrac{20}{80}=0.25