\[NotSubset]
• Alias: !sub.
• Infix set relation operator.
• x y is by default interpreted as NotSubset[x, y].
• See Section 3.10.4.
• See also: \[NotSubsetEqual] , \[Subset] .