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