Source TeX:
10^n =x \Leftrightarrow \log(x) = n