NotSucceeds ()

WMA link


NotSucceeds[x, y, ...]

displays xy ⊁ ...

NotSubsetEqual
NotSucceedsSlantEqual