TeX source:
(.9437)