TeX source:
\,0.25=2^{ \Large{-2}}