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:

ProgrammingFonts has a specific filter for ligature support with monocode fonts.