Źródło TeX:

a^*\in A