Source TeX:

x \notin A