TeX source:

a\in A