TeX source:
8 = 2x-10