⊮

Operador matemático 171

Unicode
U+22AE
Categoria
Matematica
HTML Entity
⊮
CSS
\22AE
O símbolo ⊮ (Não força) é um operador matemático usado principalmente na teoria dos conjuntos e na lógica matemática. Ele representa a negação da relação de *forcing*, indicando que uma condição específica não garante a validade de uma afirmação lógica. É um caractere de uso acadêmico avançado, raramente visto fora de demonstrações complexas sobre axiomas.

Como digitar

Windows
Digite 22AE e pressione Alt+X no Word, ou pressione Win + . e procure na aba de símbolos matemáticos.
macOS
Pressione Control + Command + Space para abrir o visualizador de caracteres e pesquise por 'does not force'.
HTML
⊮

Em programacao

Em ambientes de tipografia matemática como o LaTeX, este símbolo é gerado utilizando o comando \nVdash do pacote amssymb. Seu uso na programação é estritamente voltado para a renderização de artigos científicos e provas formais.

Ler artigo completo

Tags

não força negação lógica matemática

Simbolos relacionados

± Sinal de mais-menos × Sinal de multiplicação ÷ Sinal de divisão ≠ Diferente de ≈ Aproximadamente igual a ∞ Infinito √ Raiz quadrada ∑ Somatório ∫ Integral π Pi ≤ Menor ou igual a ≥ Maior ou igual a