TeX source:
\log_2n