TeX source:
2 x-5=x+7