U+228B "⊋" Superset of with Not Equal To Unicode Character

U+228B "⊋" Superset of with Not Equal To is a mathematical symbol used in set theory to denote that one set is a superset of another but is not equal to it, formally indicating a proper superset relationship where the first set contains all elements of the second and at least one additional element not found in the second. This contrasts with the simpler superset symbol (⊇), which allows for the possibility of equality, making ⊋ specifically useful for expressing strict inclusion in contexts like mathematical proofs, logical statements, and programming language specifications. The character is part of the Mathematical Operators block in Unicode and is often employed in academic writing, technical documentation, and computer science to clearly communicate inequalities between sets or collections.