TeX source:
0.75(8+e)=2-1.25e