TeX source:
df=3