TeX source:
2lnx+3=7