TeX source:
3.7+12.4