Source TeX:
\notin