Nachdem ich auf dieses und ähnliche Probleme bei der Texteingabe gestoßen bin, habe ich es für immer gelöst, indem ich Breevy benutzt habe, das ein Windows-Klon von Text Expander für Mac ist.
Der Zweck der Programme ist es, „…benutzerdefinierte Tastenkombinationen in häufig verwendeten Text zu erweitern…“ Suchen Sie einfach im Internet nach dem benötigten Symbol, kopieren Sie es und fügen Sie es in ein Textmakro ein.
Ich gebe \Delta ein und es wird sofort zu: δ. \Delta wird zu Δ (beachten Sie die Großschreibung).
Ich habe Makros für praktisch jedes Unicode-Zeichen erstellt, das ich eventuell eingeben muss. Wenn ich also
1 Zoll \Times 2\Degrees \neq 3\euro
eintippe, fügt Breevy die richtigen Unicode-Zeichen ein, die man normalerweise mit Apostrophen und dem Buchstaben x und allen möglichen nicht standardmäßigen ASCII-Ersetzungen zu fälschen versucht:
1″ × 2° ≠ 3€
(c.f. 1″ x 2Grad =/= 3 EURO).
Ich habe Makros erstellt, um die korrekte Diakritik von Fremdwörtern, Lehnwörtern und Ligaturen wie résumé, façade, señorita, æsthetics und über zu gewährleisten. Und es korrigiert häufige Tippfehler: aus thier wird their.
Beide, Breevy und Text Expander, synchronisieren sich mit Dropbox in einem kompatiblen Dateiformat, sodass ich meine Makros immer zur Hand habe, egal ob ich Windows, Mac OS oder iOS auf meinem iPad oder Telefon verwende. Falls jemand ein kompatibles Linux-Programm kennt, bitte Bescheid sagen.
Mit dieser Lösung kann ich jedes beliebige Zeichen eingeben, intuitiv und ohne mir umständliche Alt-Codes merken zu müssen.
∎ ( ← das ist übrigens ein \qed und ein \larrow.)