TeX source:
(=0.7)