TeX source:
3^{\log_3 9} = 3^2 =9