TeX source:
(10)(13)+2