Currently, plug-ins can declare mappings from user input to Unicode characters in their plugin.xml.
Some users would like to be able to define their own mappings in order to input other Unicode characters. This would have to be saved as user preferences.
