TeX source:
)=0.35