⋣
Operador matemático 224
- Unicode
- U+22E3
- Categoria
- Matematica
- HTML Entity
- ⋣
- CSS
- \22E3
O símbolo ⋣ (não é superconjunto quadrado nem igual a) é um operador matemático avançado, frequentemente associado à teoria dos conjuntos e relações de ordem parcial. Ele serve para negar que um conjunto engloba outro, funcionando como a versão negada do símbolo ⊒. Você o encontrará quase exclusivamente em artigos acadêmicos, provas lógicas e formatações de equações técnicas.
Como digitar
- Windows
- Digite 22E3 e pressione Alt+X (no Word) ou pressione Win+. e busque na aba de símbolos matemáticos
- macOS
- Control+Command+Space para abrir o Visualizador de Caracteres e pesquise pelo código 22E3
- Linux
- Ctrl+Shift+U, digite 22E3 e pressione Enter
- HTML
- ⋣ ou ⋣
Em programacao
O símbolo ⋣ não possui função sintática em linguagens de programação comerciais, mas é amplamente utilizado em sistemas de tipografia científica como o LaTeX (combinando negações e \sqsupseteq) para documentar provas formais.
Tags
não original quadrado ou igual
ordem
negação
matemática