TeX source:
2 x+7=19