Источник TeX:

5\notin\{1,2,3,4\}