Źródło TeX:

x = DF