add operator "!~".