TeX source:
(=0.95)