A negated relation symbol indicating that one set is not both a subset of and equivalent to another set.
