TeX source:
3+5=8