In python How to define a mapping table of characters for use in a
string?