TeX source:
= \log(8)