This extension is fairly straight-forward: it allows you to insert symbols that are otherwise hard to enter with a normal keyboard.
Contributions and suggestions are very welcome.
replaceSelection
This command replaces the current selection(s) with the corresponding value in a lookup table.
For instance, pi becomes π and rho becomes ρ.
As of version 1.3.0, there are some replacements available for the following categories:
- Greek
- Mathematics
- Set theory
- Formal logic
- Arrows
- Culture
- Subscripts and superscripts (just numeric, for now)
You may also replace a hexadecimal Unicode escape sequence such as \u03b1.
There are no external dependencies.
There are no settings for this extension (yet). Keep an eye out for updates.
No known issues at the moment, beyond the limitations that have been outlined above. If you do find a suspected bug, please report it here.
Jonatan Sundqvist (e-mail)
The very first version of Insert Special Symbol.
Initial release
More symbols added
Digit subscripts and superscripts