⋎
Operador matemático 203
- Unicode
- U+22CE
- Categoria
- Matematica
- 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
- Win + . (ponto) e procure em símbolos matemáticos, ou digite 22CE e pressione Alt+X no Word
- macOS
- Control + Command + Espaço e pesquise por 'curly logical or'
- Linux
- Ctrl + Shift + U, digite 22ce e pressione Enter
- HTML
- ⋎
Em programacao
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