TeX source:
(0.8)