Unicode and the history of character codes