Source TeX:
\log_5 125 = x \Leftrightarrow 5^x = 125