⊩
Operador matemático 166
- Unicode
- U+22A9
- Categoria
- Matematica
- 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
- Alt+8873 ou Win + . e procure no painel de símbolos
- macOS
- Control+Command+Space e pesquise por "forces"
- Linux
- Ctrl+Shift+U, digite 22A9 e pressione Enter
- HTML
- ⊩ ou ⊩
Em programacao
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