A relational symbol denoting a superset relationship with both equality and double lines for emphasis in set theory.
