TeX source:
10 : 5