Source TeX:

\log_a(a^x) = x \qquad x\in\mathbb{R}