TeX source:
3, 5, 8, 10