Constants can now have an optional unicode printing mode. Their real name is in ascii though, and all dictionaries are indexed on that ascii name.