TeX source:
\log_5(25)