TeX source:
12−5⋅2