Dopo essermi imbattuto in questo e altri problemi simili di inserimento del testo, ho risolto per sempre usando Breevy, che è un clone per Windows di Text Expander per Mac.
Lo scopo dei programmi è “…espandere le scorciatoie da tastiera personalizzate nel testo usato frequentemente…” Basta cercare il simbolo di cui hai bisogno su Internet, copiarlo e incollarlo in una macro di testo.
Io digito \delta e si trasforma immediatamente in: δ. \Delta diventa Δ (notare la maiuscola).
Ho creato delle macro praticamente per ogni carattere Unicode che potrei aver bisogno di inserire. Così, quando digito
1\inch \times 2\degrees \neq 3\euro
Breevy inserisce i caratteri Unicode corretti che la gente normalmente cercherebbe di manipolare con apostrofi e la lettera x e ogni sorta di sostituzioni ASCII non standard:
1″ × 2° ≠ 3€
(c.f. 1″ x 2 gradi =/= 3 EURO).
Ho creato delle macro per assicurare la corretta diacritica di parole straniere, parole in prestito, e legature come résumé, façade, señorita, æsthetics e über. E corregge gli errori di battitura comuni: thier diventa their.
Sia Breevy che Text Expander si sincronizzano con Dropbox in un formato di file compatibile, così ho sempre le mie macro sia che stia usando Windows, Mac OS, o iOS sul mio iPad o telefono. Se qualcuno conosce un programma compatibile con Linux, per favore me lo faccia sapere.
Con questa soluzione, posso inserire qualsiasi carattere che desidero, in modo intuitivo, e senza dover memorizzare codici alt complicati.
∎ ( ← che è un \qed e un \larrow a proposito.)