TeX source:

7030.14, 7069, 7107.86