TeX source:
\log_ay+9