Does someone know a plugin for replacing stuff like -> with →, == with ≡, etc?
(only while viewing the window, it shouldnt change in the file when it gets written.
It’s the feature of your font and terminal, called ligatures.
Does someone know a plugin for replacing stuff like -> with →, == with ≡, etc?
(only while viewing the window, it shouldnt change in the file when it gets written.
It’s the feature of your font and terminal, called ligatures.