A relational symbol denoting a non-strict superset relationship with double equals, used in set theory and formal logic.
TeXipedia
A relational symbol denoting a non-strict superset relationship with double equals, used in set theory and formal logic.