TeX source:
(12−5)⋅2