TeX source:
DF=EF