Source TeX:
\log_a x = y \Leftrightarrow a^y = x