PragmataPro es un tipo de letra que viene con una serie de ligaduras de programación . Tengo entendido que estas son ligaduras de cara OpenType (OTF). Soy consciente de que Emacs soporta el reemplazo programática de combinaciones de caracteres (por ejemplo, ->a ⟶o lambdaa λ). Sin embargo, estas...