Insert Special Symbol
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.
This command replaces the current selection(s) with the corresponding value in a lookup table.
As of version 1.3.0, there are some replacements available for the following categories:
You may also replace a hexadecimal Unicode escape sequence such as
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
More symbols added
Digit subscripts and superscripts