TeX source:

7¢