TeX source:
Ox