TeX source:
10.0