TeX source:
EF