TeX Quellcode:
a^{\log_a(x)} = x