TeX source:
F_1