TeX source:
(1)(6)+0.0