From the list of proposed unicode characters I also don't mind 'there does not exist' and one other I found 'does not contain as member' ...