Source TeX:
a^{\log_a x} = x \qquad x>0