TeX source:
F.