TeX source:

.718