O PragmataPro é um tipo de letra que vem com várias ligaduras de programação . Meu entendimento é que essas são ligaduras de rosto OpenType (OTF). Estou ciente de que o Emacs suporta a substituição programática de combinações de caracteres (por exemplo, ->para ⟶ou lambdapara λ). No entanto,...