TeX source:
\frac{1}{$0.80}=1.25