TeX source:
df = 4