⊦
Operador matemático 163
- Unicode
- U+22A6
- Categoria
- Matematica
- HTML Entity
- ⊦
- CSS
- \22A6
O símbolo ⊦ (asserção) é usado na lógica matemática e teoria da computação para indicar que uma proposição é verdadeira ou válida dentro de um sistema formal. Ele funciona como uma declaração de que algo pode ser deduzido ou provado a partir de um conjunto de premissas lógicas. Visualmente semelhante ao símbolo de catraca (⊢), ele aparece com frequência para representar deduções sintáticas em trabalhos acadêmicos e fórmulas matemáticas estruturadas.
Como digitar
- Windows
- No Word, digite 22A6 e pressione Alt+X. No Windows 10/11, pressione Win+. para abrir o painel e busque na aba de símbolos matemáticos.
- macOS
- Control + Command + Espaço para abrir o Visualizador de Caracteres, depois busque por "assertion".
- Linux
- Ctrl + Shift + U, digite 22a6 e pressione Enter.
- HTML
- ⊦ ou ⊦
Em programacao
Na teoria dos tipos e no estudo de linguagens de programação formais, o símbolo de asserção é utilizado nas regras de inferência para documentar que uma expressão compila corretamente ou é validamente tipada em um determinado contexto.
Tags
asserção
afirmação
prova
lógica
matemática