(usando o Ubuntu 12.04)
Atualmente estou lidando muito com lógica (não para ciência da computação, no entanto), então minha ideia era criar atalhos específicos no meu teclado para facilitar a digitação.
minha idéia é usar Ctrl + super e depois uma tecla específica.
por exemplo,
quando eu digito Ctrl + chave-de-ganhos + v em um editor de texto ou programa de bate-papo, ou qualquer outra coisa, eu quero digitar o operador lógico para "ou": ∨
Ctrl + win-key + ^ Eu quero que ele se torne o operador lógico "e": ∧
Ctrl + win-key + 0 Eu quero que ele se torne ≠
Ctrl + win-key + e Eu quero que ele se torne ∃
Ctrl + chave-de-ganhos + m Eu quero que se torne o operador modal para "possível": ◊
e assim por diante, e assim por diante. Você entendeu a ideia.
As instruções seriam muito apreciadas!
<ctrl><shift>U , em seguida, digite o código dizendo 00ac para ¬ que eu encontrei usando o mapa de caracteres.
Essa é uma maneira bem rápida de fazer isso, se você souber o código e lembrar de cada um deles. Se eu encontrar outra maneira, atualizarei.