Dopo essermi imbattuto in questo e simili problemi 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 di uso frequente…” Basta cercare il simbolo che ti serve su Internet, copiarlo e incollarlo in una macro di testo.
Scrivo \delta e si trasforma immediatamente in: δ. \Delta diventa Δ (notare la maiuscola).
Ho creato macro praticamente per ogni carattere Unicode che potrei aver bisogno di inserire. Così, quando digito
1″ x 2″ ≠ gradi ≠neq 3″ euro
Breevy inserisce i caratteri Unicode appropriati che le persone normalmente provano a falsificare con apostrofi e la lettera x e tutti i tipi di sostituzioni ASCII non standard:
1″ × 2° ≠ 3€
(c.f. 1″ x 2 gradi =/= 3 EURO).
Ho creato 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 fatemelo sapere.
Con questa soluzione, posso inserire qualsiasi carattere che desidero, in modo intuitivo, e senza dover memorizzare codici alt traballanti.
∎ ( ← che è un \qed e un \larrow a proposito.)