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