TeX source:
8⋅9 – 8⋅7 = 72 – 56 = 16