SquareSupersetEqual ()

WMA link


SquareSupersetEqual[x, y, ...]

displays xy ⊒ ...

SquareSuperset
SquareUnion