O Símbolo Matemático ⊋ (Superconjunto Estrito)
O símbolo matemático ⊋ (U+228B), conhecido como "superconjunto com diferente de" ou "superconjunto estrito", é usado na teoria dos conjuntos para indicar que um conjunto contém todos os elementos de outro, mas não é exatamente igual a ele. Em outras palavras, o primeiro conjunto é maior e engloba o segundo por completo, sem que sejam idênticos.
Este caractere faz parte do bloco "Operadores Matemáticos" do padrão Unicode e foi introduzido na versão 1.1 em 1993. Sua origem remonta ao desenvolvimento da teoria dos conjuntos no final do século XIX por matemáticos como Georg Cantor. Visualmente, ele combina o símbolo de superconjunto (⊃) com um traço de negação cortando a linha inferior, indicando explicitamente a ausência de igualdade.
Na matemática e na ciência da computação, você verá o ⊋ sendo usado para definir hierarquias e relações estritas entre grupos de dados. Por exemplo, se o Conjunto A tem os números {1, 2, 3} e o Conjunto B tem apenas {1, 2}, dizemos que A ⊋ B. Fora do ambiente acadêmico ou de programação, esse símbolo raramente aparece em redes sociais ou conversas casuais, a menos que alguém esteja criando algum tipo de kaomoji (emoticon de texto) complexo ou fazendo uma piada nerd sobre uma coisa "conter e ser superior" a outra.
Digitar o símbolo ⊋ exige alguns atalhos, já que ele não está presente em teclados convencionais. No Windows, você pode digitar 228B seguido de Alt + X no Microsoft Word para convertê-lo no caractere. No Mac, a melhor opção é abrir o visualizador de caracteres (Control + Command + Espaço) e pesquisar por "superset". Em HTML, você pode inseri-lo usando a entidade &supsne; ou o código decimal ⊋. Para desenvolvedores e acadêmicos que usam LaTeX, o comando \supsetneq resolve o problema rapidamente na formatação de fórmulas.
O ⊋ tem "primos" próximos no mundo matemático. O mais comum é o ⊃ (Superconjunto, U+2283), que indica que um conjunto contém outro, mas geralmente deixa em aberto se eles podem ser iguais. O oposto exato do ⊋ é o ⊊ (Subconjunto estrito, U+228A), que aponta na direção contrária, mostrando que um conjunto está contido em outro de forma estrita, sem equivalência. Há também o ⊇ (Superconjunto ou igual a, U+2287), que assume a possibilidade de igualdade sem o traço de negação.