TeX source:

0.7137