TeX source:
\log(12) - \log(3) = \log(\frac{12}{3})