3 ms·
Julia REPLs and editor plugins have adopted a nice feature where you can type the LaTeX name of the symbol you want to get it. e.g. `\subseteq` followed by tab
by cmcaine 5y ago
Julia REPLs and editor plugins have adopted a nice feature where you can type the LaTeX name of the symbol you want to get it.
e.g. `\subseteq` followed by tab yields `⊆` or `\trademark` for `™`.
You can also do emoji with `\:eyes:` for ``
I think this is very practical and if you read code in Julia you can see that it's led to quite a lot of unicode and emoji in source code.