TeX source:
6+lnx=10