Источник TeX:

5+7=12