We can accept both some ascii combination as a single unicode character for them, and normalize them to unicode with the pretty printer.