TeX source:

3 \in A