[emacs] use lean-input as default input method, toggled with C-\
authorAmin Bandali <bandali@gnu.org>
Tue, 30 Oct 2018 03:28:22 +0000 (23:28 -0400)
committerAmin Bandali <bandali@gnu.org>
Tue, 30 Oct 2018 03:28:22 +0000 (23:28 -0400)
super handy for inserting logical symbols like ∧,∨,→,↔,≡,≜,∩,∪,λ,∘,⋯


No differences found