Après avoir rencontré ce problème et d’autres problèmes similaires de saisie de texte, je l’ai résolu pour toujours en utilisant Breevy, qui est un clone Windows de Text Expander pour Mac.
Le but de ces programmes sont « …l’expansion des raccourcis clavier personnalisés dans le texte fréquemment utilisé… » Il suffit de rechercher le symbole dont vous avez besoin sur Internet, de le copier et de le coller dans une macro de texte.
Je tape \delta et il se transforme immédiatement en : δ. \Delta devient Δ (remarquez la majuscule).
J’ai créé des macros pour pratiquement tous les caractères Unicode que je pourrais avoir besoin de saisir. Ainsi, lorsque je tape
1\inch \times 2\degrees \neq 3\euro
Breevy insère les caractères Unicode appropriés que les gens essaieraient normalement de truquer avec des apostrophes et la lettre x et toutes sortes de substitutions ASCII non standard:
1″ × 2° ≠ 3€
(c.f. 1″ x 2degrés =/= 3 EURO).
J’ai créé des macros pour assurer une diacritique correcte des mots étrangers, des mots d’emprunt et des ligatures comme résumé, façade, señorita, æsthetics et über. Et il corrige les fautes de frappe courantes : thier devient their.
Breevy et Text Expander se synchronisent tous deux avec Dropbox dans un format de fichier compatible, de sorte que j’ai toujours mes macros, que j’utilise Windows, Mac OS ou iOS sur mon iPad ou mon téléphone. Si quelqu’un connaît un programme Linux compatible, qu’il me le fasse savoir.
Avec cette solution, je peux saisir tous les caractères que je souhaite, de manière intuitive, et sans avoir à mémoriser des codes alt bancals.
∎ ( ← c’est un \qed et un \larrow au fait.)