PragmataPro to krój pisma z wieloma ligaturami programującymi . Rozumiem, że są to ligatury twarzy OpenType (OTF). Wiem, że Emacs obsługuje programowe zastępowanie kombinacji znaków (na przykład ->do ⟶lub lambdado λ). Są to jednak fałszywe ligatury unicode, ponieważ mają własne punkty kodowe,...