TeX source:
x∈