disabled some ligatures in the pretty printer as they are not supported by the fonts of some devices