Ligatures are ways of changing the display of fonts to substitute letter combinations for a single glyph. For example:
⇒ might be represented as →.
There are several fonts that support ligatures:
- hasklig
- fira code
- Pragmata Pro (paid)
ProgrammingFonts has a specific filter for ligature support with monocode fonts.