A relational symbol denoting a proper superset relationship with an emphasized gap between sets in set theory.
