TeX source:
6.8+7.2=14