TeX source:
(5-2) = 3