Después de haberme encontrado con este y otros problemas similares de introducción de texto, lo resolví para siempre utilizando Breevy, que es un clon para Windows de Text Expander para Mac.
El objetivo de los programas es «…expandir los atajos de teclado personalizados en el texto de uso frecuente…» Sólo hay que buscar el símbolo que se necesita en Internet, copiarlo y pegarlo en una macro de texto.
Escribo \delta y se convierte inmediatamente en: δ. \Delta se convierte en Δ (fíjate en las mayúsculas).
He creado macros para prácticamente todos los caracteres Unicode que pueda necesitar introducir. Así, cuando escribo
1\inch \times 2\degrees \neq 3\euro
Breevy inserta los caracteres Unicode adecuados que la gente normalmente trataría de amañar con apóstrofos y la letra x y todo tipo de sustituciones ASCII no estándar:
1″ × 2° ≠ 3€
(c.f. 1″ x 2degrees =/= 3 EURO).
He creado macros para asegurar la correcta diacresis de palabras extranjeras, palabras de préstamo y ligaduras como résumé, façade, señorita, æsthetics y über. Y corrige errores tipográficos comunes: thier se convierte en their.
Tanto Breevy como Text Expander se sincronizan con Dropbox en un formato de archivo compatible, por lo que siempre tengo mis macros tanto si uso Windows, Mac OS o iOS en mi iPad o teléfono. Si alguien conoce un programa compatible con Linux, por favor, hágamelo saber.
Con esta solución, puedo introducir cualquier carácter que desee, de forma intuitiva, y sin tener que memorizar torpes códigos alt.
∎ ( ← que es un \qed y un \larrow por cierto.)