O Símbolo ⊁: Guia Completo do Operador Matemático 126 (Não Sucede)
O símbolo matemático ⊁, ocasionalmente catalogado em listas de fontes como Operador Matemático 126 e oficialmente batizado como "Não Sucede", é um caractere usado na teoria dos conjuntos e na teoria da ordem. Ele indica que um determinado elemento não vem depois de outro em uma sequência. Representado visualmente por um sinal curvo de "sucede" cortado por uma barra diagonal, este caractere estabelece uma relação lógica negativa, mostrando que não existe uma precedência direta ou hierárquica entre dois valores específicos.
Este caractere foi adicionado ao padrão Unicode em 1993, na versão 1.1, e atende pelo nome original em inglês de "DOES NOT SUCCEED". Ele mora no bloco de Operadores Matemáticos, e o seu ponto de código (code point) é U+2281. A lógica de seu design segue uma regra clássica e universal da tipografia matemática: aplica-se um traço de cancelamento para criar a versão negativa de um símbolo já existente, que neste caso é o sinal de sucede (≻).
Na matemática pura, na lógica e na ciência da computação, você encontrará o ⊁ com certa regularidade em estudos avançados. Ele ajuda a estruturar algoritmos de ordenação, diagramas de Hasse ou provas lógicas. Diferente do clássico sinal de "maior que" (>), que lida exclusivamente com valores numéricos absolutos, o "não sucede" foca na posição ou hierarquia relativa de elementos que podem não ser números, como eventos, tarefas ou conjuntos de regras. Fora dos artigos científicos, o uso do ⊁ cai drasticamente. É muito raro encontrá-lo nas redes sociais, embora entusiastas de tipografia ASCII às vezes o reaproveitem como parte de emoticons complexos de texto (kaomojis), graças ao seu formato pontudo e expressivo. Na programação prática do dia a dia, os desenvolvedores preferem usar as notações condicionais nativas de cada linguagem em vez de símbolos matemáticos isolados.
Para digitar o símbolo ⊁ de forma rápida no Windows, você pode recorrer ao Microsoft Word: digite 2281 e pressione as teclas Alt e X simultaneamente. Se estiver usando um Mac, o atalho Control + Cmd + Espaço abre o visualizador de caracteres, onde você pode buscar diretamente por "does not succeed" ou procurá-lo na aba de matemática. Para páginas da web, o caminho seguro é utilizar as entidades HTML ⊁ ou ⊁. Já pesquisadores escrevendo documentações ou provas em LaTeX geram este caractere facilmente usando o comando \nsucc.
A família de operadores de ordem possui várias ramificações para cobrir qualquer relação possível. O parceiro direto do ⊁ é o ⊀ (Não Precede, U+2280), que reflete a operação espelhada. Ambos dependem das suas raízes não negadas: ≻ (Sucede, U+227B) e ≺ (Precede, U+227A). Você também não deve confundir o ⊁ com o operador ≯ (Não é maior que, U+226F). As noções de "ser maior" e "suceder" possuem propriedades matemáticas totalmente distintas dependendo das regras aplicadas ao conjunto avaliado.