removed duplicate \notin definition

Build had failed because of duplicate \notin