Source TeX:
\log 2=x