A relational symbol denoting a proper superset with a double line, emphasizing strict containment in set theory.
