Após ter deparado com este e outros problemas semelhantes de entrada de texto, resolvi-o para sempre usando Breevy, que é um clone do Windows do Text Expander para Mac.
O propósito dos programas são “…expandir atalhos de teclado personalizados para texto frequentemente utilizado…”. Basta procurar o símbolo que você precisa na Internet, copiá-lo e colá-lo em uma macro.
I digite \delta e ele imediatamente se transforma em: δ. \Delta torna-se Δ (repare na capitalização).
Criei macros para praticamente todos os caracteres Unicode que eu possa precisar de introduzir. Assim, quando eu digito
1\\faixas de tempo 2\faixas de grau \neq 3\faixas de tempo 3\faixas de tempo £6303>Breevy insere os caracteres Unicode apropriados que as pessoas normalmente tentariam enganar com apóstrofos e a letra x e todo tipo de substituições ASCII não-padrão:
1″ × 2° ≠ 3f. 1″ x 2degrees =/= 3 EURO).
Criei macros para assegurar uma diacrítica adequada de palavras estrangeiras, palavras de empréstimo e ligaduras como currículo, fachada, señorita, æsthetics e über. E corrige erros de digitação comuns: eles se tornam seus.
Both Breevy e Text Expander sincronizam com o Dropbox em um formato de arquivo compatível, então eu sempre tenho minhas macros quer eu esteja usando Windows, Mac OS, ou iOS no meu iPad ou telefone. Se alguém conhece um programa Linux compatível, por favor me avise.
Com esta solução, eu posso inserir qualquer caractere que eu desejar, intuitivamente, e sem ter que memorizar códigos alterados wonky.
∎ ( ← que é um \qed e um \qed a propósito.)