Źródło TeX:

x^*\in D