Keyboard shortcuts to insert symbols