not package:numeric-prelude

Boolean "not"
notElem is the negation of elem.