TeX source:
3.5d+2 = 7-1.5d