Source TeX:
\log_2 5