TeX source:
7+5=12