insert symbol (menu item)
