TeX source:
3 a-7=-4 b+1