TeX source:

0.8614