(no title)
IngoBlechschmid | 9 months ago
Otherwise I like the Agda input method of Emacs, where \to gives ⇒ and \alpha (or \Ga) gives α.
IngoBlechschmid | 9 months ago
Otherwise I like the Agda input method of Emacs, where \to gives ⇒ and \alpha (or \Ga) gives α.
JNRowe|9 months ago
I flit between regular compose key input and zsh/vim digraphs in a way that makes no sense to me whatsoever. Compose ^1, AltGr+1 or C-k 1S all kind of feel natural to me, but the advantage of the ZLE method is that you can also use it to preview characters which can be useful if you want to test something out while in another widget or find the hex value to insert using some other tool.
¹ https://datatracker.ietf.org/doc/html/rfc1345#section-2.3
² https://zsh.sourceforge.io/Doc/Release/User-Contributions.ht...
³ https://github.com/zsh-users/zsh/blob/master/Functions/Zle/d...