⊧
Operador matemático 164
- Unicode
- U+22A7
- Categoria
- Matematica
- HTML Entity
- ⊧
- CSS
- \22A7
O símbolo ⊧ (conhecido como operador "models" ou de consequência semântica) é utilizado em lógica matemática e ciência da computação teórica. Ele serve para indicar que uma estrutura matemática satisfaz uma determinada fórmula, ou que um conjunto de premissas garante uma conclusão verdadeira. Por ser um caractere estritamente acadêmico, você raramente vai encontrá-lo fora de provas lógicas, artigos científicos ou estudos de teoria dos modelos.
Como digitar
- Windows
- Digite 22A7 e pressione Alt+X no Word, ou procure por Mapa de Caracteres
- macOS
- Control+Command+Space e pesquise por "models"
- Linux
- Compose key inexistente por padrão; use Ctrl+Shift+U, digite 22a7 e pressione Enter
- HTML
- ⊧ ou ⊧
Em programacao
Na formatação de documentos acadêmicos com LaTeX, você pode gerar este símbolo usando o comando \models. Na área de engenharia de software teórica, ele aparece em especificações formais para indicar que um modelo computacional atende aos requisitos de um sistema.
Tags
modela
satisfaz
lógica
semântica
matemática