Source TeX:
\log_a x = y