TeX source:
80 \cdot \dfrac{5}{25}=80 \cdot \dfrac{a}{80}