A relational symbol denoting proper subset relationships with additional geometric emphasis in set theory and order theory.
TeXipedia
A relational symbol denoting proper subset relationships with additional geometric emphasis in set theory and order theory.