TeX source:
x+4=7