NotSucceeds (⊁)

WMA link


NotSucceeds[x, y, ...]

displays x ⊁ y ⊁ ...

← NotSubsetEqual
→ NotSucceedsSlantEqual