Zdroj TeX:
-x \in D_f