TeX forrásszöveg:
a \notin A