TeX source:
log9= \frac{\ln9}{\ln10}