It's a little different, but I've been using Typinator for this for a long time. In addition to a bunch of default auto-swaps to correct common typos, it has a

It's a little different, but I've been using Typinator for this for a long time. In addition to a bunch of default auto-swaps to correct common typos, it has a bunch of built-in libraries for inserting things like Greek characters, arrows, symbols, and emoji. One huge time-saver for me has been in grading: I have to grade student assignments regularly, and I fill out a short text-based rubric chart as I go. So I have a shortcut for it: I type "\\gt" and I get prompted for the student's name, then it creates a new rubric block with the student's name already inserted and the cursor positioned to start entering scores. Stuff like that is a huge time-saver in terms of wear-and-tear on the arrow keys or moving to use the mouse.