You press the backslash key, enter the name of the symbol, then press enter, and the symbol will show up in your buffer.
Something like:
\lambda -> λ
\Lambda -> Λ
\\ -> \
et cetra.
You press the backslash key, enter the name of the symbol, then press enter, and the symbol will show up in your buffer.
Something like:
\lambda -> λ
\Lambda -> Λ
\\ -> \
et cetra.
For example:
◆ - - - produces an em dash (—)
◆ - - . produces an en dash (–)
◆ ' e produces é
◆ | c produces the cent symbol (¢)
Usually, you can just guess the combination and be right 3/4 times. Otherwise, it's fairly easy to look it up, or create it if it doesn't exist yet.
Some distros of Linux have this built-in, but I use WinCompose[1] on Windows.
Some? Nearly all of them do — usually it just needs to be activated in the desktop environment.
I used a … and an — in this post using the compose key without even thinking twice.
> Usually, you can just guess the combination and be right 3/4 times.
¾ even. Just guessing that it was <comp> 3 4.
Ctrl-K l* produces λ
Ctrl-K L* produces Λ
Unsurprisingly, Emacs also supports this when programming in Agda (\lambda) i'm not sure if it's a builtin feature or part of the Agda plugin.
In Agda using Unicode identifiers is widely accepted, even in the standard library: https://github.com/agda/agda-stdlib/blob/master/src/Relation...