⊐
Original quadrado de
- Unicode
- U+2290
- Categoria
- Matemática
- HTML Entity
- ⊐
- CSS
- \2290
O símbolo ⊐ (Original Quadrado De) é um operador matemático usado na teoria dos conjuntos e lógica formal como a contraparte do símbolo de imagem quadrada (⊏). Ele funciona como uma variação de ângulos retos do símbolo tradicional de superconjunto (⊃), geralmente indicando que um conjunto inclui o outro dentro de contextos lógicos ou espaciais específicos. Por ser um caractere altamente técnico, você raramente o verá fora de fórmulas acadêmicas, artigos científicos e tipografia especializada.
Como digitar
- Windows
- No Word: digite 2290 e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control+Command+Space e busque por 'square original of' ou '2290'
- Linux
- Ctrl+Shift+U, digite 2290 e pressione Enter
- HTML
- ⊐ ou ⊐
Em programação
Na programação matemática e diagramação acadêmica, o ⊐ é renderizado no LaTeX através do comando `\sqsupset`. Algumas linguagens de verificação formal usam esse símbolo para definir relações estritas de hierarquia ou precondições lógicas em sistemas de tipos.
Tags
original quadrado
supergrupo
ordem
matemática