⋎
Ou lógico curvo
- Unicode
- U+22CE
- Categoria
- Matemática
- HTML Entity
- ⋎
- CSS
- \22CE
O símbolo ⋎ (disjunção lógica curva) é uma variação estilizada do tradicional operador lógico "OU" (∨), utilizado principalmente em lógicas não-clássicas e na teoria dos conjuntos. Fora do ambiente acadêmico, seu formato que lembra um pequeno sorriso ou um pássaro voando costuma ser aproveitado de forma criativa na elaboração de kaomojis e arte em texto na internet.
Como digitar
- Windows
- No Word: digite 22CE e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control + Command + Espaço e pesquise por 'curly logical or'
- Linux
- Ctrl + Shift + U, digite 22ce e pressione Enter
- HTML
- ⋎
Em programação
Em sistemas de prova de teoremas e linguagens de formalização rigorosa, o ⋎ é aplicado para representar uma operação de disjunção alternativa, distinguindo-se do tradicional 'OU' clássico.
Tags
ou lógico curvo
disjunção
lógica
matemática