TeX source:
df=8