TeX source:
\notin