Programa com alguns símbolos lógicos para ajudar na escrita de textos
Fiz esse programa há uns anos para me ajudar na escrita e tradução de alguns textos lógicos e filosóficos. Ele fica rodando de fundo no PC e, ao apertar F9, ele é exibido. Para usá-lo, basta exibi-lo, clicar na caixa de texto onde você deseja escrever o símbolo e clicar no botão do símbolo. Além disso, é possível usá-lo sem a necessidade de exibi-lo com o F9. Para isso, basta usar as seguintes combinações de teclas (usando os números do teclado numérico):
CTRL + ALT + 2 = ◊
CTRL + ALT + 3 = Ǝ
CTRL + ALT + 4 = ∀
CTRL + ALT + 5 = ↔
CTRL + ALT + 6 = ⊃
CTRL + ALT + 7 = ∨
CTRL + ALT + 8 = ∧
CTRL + ALT + 9 = ϕ
Na versão mais atual, implementei os comandos do LaTeX no programa, além de remover uns símbolos duplicados. Agora, com o modo LaTeX ativo, ao clicar em algum símbolo, o programa escreve não o símbolo, mas o comando correspondente em LaTeX. Por exemplo, o comando de "⊃" é "\supset".
O binário pode ser encontrado em /Simbolos logicos/Simbolos logicos/bin/Debug/Simbolos logicos V1.1.exe