TeX source:
2x - 5 = x + 7