TeX source:
\log(12) - \log(3)