Source TeX:
\log_a x = \log_a y