TeX source:

32 df