TeX source:
log_3(25)=log_3(5^2)