A relational symbol denoting a superset relationship with a square-like shape, commonly used in set theory and order theory.
TeXipedia
A relational symbol denoting a superset relationship with a square-like shape, commonly used in set theory and order theory.