Thus, in many cases, users have multiple ways of encoding the same character.