PragmataPro ist eine Schriftart, die eine Reihe von Programmierligaturen enthält . Nach meinem Verständnis handelt es sich hierbei um OTF-Ligaturen (OpenType Face). Mir ist bekannt, dass Emacs das programmgesteuerte Ersetzen von Zeichenkombinationen (z. B. ->nach ⟶oder lambdanach λ) unterstützt....