TeX source:
a\in S