TeX source:
b + 9 = 4b + 3