TeX source:
df: 1 x 1 = 1