TeX forrásszöveg:

a \notin A