TeX source:
(5+2)+1=8