Special character menu

This menu is positioned on the right side of the toolbar. It allows authors to insert characters that cannot (easily) be typed using their keyboards. The contents of the special character menu can be influenced by developers using the Editor.setSymbolsAPI.