TeX source:

\log_2{{(0.25)}}={-2}