TeX source:
4+3⋅7