Source TeX:
\log_5 125 = x