TeX source:
(PE)