TeX source:
.5