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.

Features

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.

Requirements

There are no external dependencies.

Extension Settings

There are no settings for this extension (yet). Keep an eye out for updates.

Known Issues

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.

Contributors

Jonatan Sundqvist (e-mail)

Release Notes

The very first version of Insert Special Symbol.

1.0.0

Initial release

1.2.0

More symbols added

1.3.0

Digit subscripts and superscripts