Shortcuts

Used to define personalized shortcuts.