I don't think they're talking about the choice of font, but instead the choice o...

		gvx on July 23, 2017 \| parent \| context \| favorite \| on: Ligatures in programming fonts I don't think they're talking about the choice of font, but instead the choice of replacing certain character sequences (e.g. ->) with glyphs (e.g. →).