Added unicode character to the pretty printer