Source TeX:
a^{\log_a x}=x, \quad \text{où } x>0