⊩
Força
- Unicode
- U+22A9
- Categoria
- Matemática
- HTML Entity
- ⊩
- CSS
- \22A9
O símbolo matemático ⊩, formalmente conhecido como "forces" (força), é um operador lógico usado principalmente na matemática avançada e teoria dos conjuntos. Ele representa o método de "forcing", introduzido na década de 1960 pelo matemático Paul Cohen para provar a consistência ou independência de axiomas complexos. Embora você raramente vá encontrá-lo em conversas informais ou nas redes sociais, ele é uma peça fundamental em publicações acadêmicas sobre lógica matemática e teoria dos modelos.
Como digitar
- Windows
- No Word: digite 22A9 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 pesquise por "forces"
- Linux
- Ctrl+Shift+U, digite 22A9 e pressione Enter
- HTML
- ⊩ ou ⊩
Em programação
Em sistemas de preparação de documentos como o LaTeX, o símbolo é gerado usando o comando `\Vdash` para formatar equações de forma elegante. Em linguagens focadas em provas de teoremas matemáticos ou linguística computacional, ele sinaliza deduções e relações de satisfação estruturadas.
Tags
força
obriga
lógica
prova
matemática