A relational symbol denoting a proper subset relationship with distinct styling from \subsetneq in set theory.
