A few more unicode character shortcuts.