Skip to content


Trabalhando com Símbolos de Lógica Matemática

A utilização de símbolos matemáticos na escrita de documentos acaba atrasando o tempo de edição, onde geralmente as formas mais utilizadas são a substituição da fonte ou a inserção de um caractere especial.

Uma alternativa mais rápida para a edição dos documentos é a utilização da correção automática, para isso, basta ir em “Ferramentas → Opções de autocorreção” e escolher os valores a serem substituídos pelos símbolos desejados. Porém, a autocorreção não faz a substituição de um tipo de fonte por outra, trabalhando assim somente com a substituição de símbolos. Dessa forma, acaba não ajudando muito no trabalho, pois poder-se-ia pedir para substituir “/\” por “Ù”, que ao ser trocado para a fonte Symbol, tornar-se-ia o “∧”, mas mesmo assim seria necessário trocar a fonte após a autocorreção.

Então, uma forma completa e interessante de utilizar a autocorreção é com os símbolos Unicodes existentes e iguais em quase todos os modelos de fontes. Com eles, podemos obter diretamente os símbolos matemáticos desejados.

Vamos fazer um exemplo para o símbolo AND:

  • Nas “Opções de autocorreção”,
    • no campo “Substituir”, inserimos os caracteres: /\
    • e no campo “Por”, pressionamos a seguinte combinação de teclas: CTRL+SHIFT+U+2227
    • logo após, clicamos em “Novo” para que essa nova regra seja adicionada.

Assim, ao digitar os caracteres /\ e pressionar espaço, eles serão substituídos por ∧, que é o símbolo com valor Unicode 2227.

Uma tabela simplificada dos símbolos pode ser encontrada abaixo:

Símbolo
Valor Unicode
Ctrl+Shift+u+2227
Ctrl+Shift+u+2228
Ctrl+Shift+u+22bb
¬
Ctrl+Shift+u+00ac
Ctrl+Shift+u+21d2
Ctrl+Shift+u+21d2
Ctrl+Shift+u+2194
Ctrl+Shift+u+21d4
Ctrl+Shift+u+22a2

Uma tabela mais completa pode ser encontrada em:
http://en.wikipedia.org/wiki/Table_of_logic_symbols  (pdf da página)

Tabela de símbolos Unicode:

http://www.unicode.org/charts/PDF/U2200.pdf (pdf local dos Símbolos_Unicode)

Postado em 🐧 GNU/Linux 🐧, Outros.