: Is there a way to create keyboard shortcuts - e.g., making a symbol such as
: "pi" or a function, such as "indent" an alt+key command?
For pi, you might want to look into Windows' ability to support multiple
input languages (Control Panel | Keyboard Properties | Input
Locales). For example, if you're spending a lot of time using Greek
characters in addition to Roman, you might want to set yourself up so
that you can hotkey between US (or whatever) and Greek key mappings.
For example, I switch back and forth between US-International and
Greek, as my work requires.
For indent -- I thought that OneNote did a pretty good job of
interpreting the tab key in certain contexts as an indent function.