TeX source:
\log x