TeX source:

\dfrac{5}{25}=\dfrac{a}{80}