Existe algum método de entrada para digitar com facilidade os símbolos matemáticos dos caracteres UTF8 (como U + 2200 PARA TODOS ∀ , U + 2203 EXISTE ∃ , U + 2208 ELEMENTO ∈ , U + 2190 SETA PARA A ESQUERDA ← , etc ...)?
Eu gostaria de digitar facilmente esses caracteres em algum <textarea> no Firefox (38 ou 42) em Debian / Linux / x86_64 sob xfce4 ou Gnome (e eu quero evitar truques com Javascript para isso). No momento, estou copiando / colando-os de algum aplicativo CharacterMap, o que é desconfortável.
As respostas a esta questão relacionada exigem alguma configuração ad-hoc; Eu estou pedindo um método de entrada padrão .
Tente isto: pressione ctrl-shft-U e digite o código de 4 dígitos. Isso funciona no meu desktop shell do Gnome (Fedora 20, no entanto). Por exemplo, quando eu digito ctl-shft-U 2203 e, em seguida, clico na barra de espaço, isso me dá ∃. Consulte o link