TeX source:
3x=7