A relational symbol denoting a strict superset relationship with additional emphasis used in set theory and formal logic.
TeXipedia
A relational symbol denoting a strict superset relationship with additional emphasis used in set theory and formal logic.