TeX source:
15 + 7 = 7 + 15