Źródło TeX:

x \in DK