TeX source:

x \notin A