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