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 texto de uso frecuente…» Sólo tienes que buscar el símbolo que necesitas 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óstrofes 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 códigos alt torpes.
∎ ( ← que es un \qed y un \larrow por cierto.)