The package jlabbrev
adds all the tab-completions from
the Julia prompt that are LaTeX symbol names.
There are currently 2496
abbreviations on the list.
Refer to the documentation page
Unicode Input
of Julia if you want to get the full list. If all goes well,
all non-emoji completions from there should be supported by the plugin.
Writing \<abbrev>
and hitting <tab>
will do one of the following:
- If
<abbrev>
is one of the supported abbreviations, the whole sequence gets replaced with the corresponding symbol(s). - If
<abbrev>
if a prefix of an abbreviation, autocompletion suggestion takes place - Otherwise, the tab will be inserted
As the plugin is in the official plugin channel,
you can install it by running micro -plugin install jlabbrev
in your terminal.