TeX source:
)=0.8