TeX source:
4x-7= 2x-1