[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)
commit2e7aa30f7e46eabf984adc1018d7ccbdfefecca8
tree6e346c6bce4e36e0f0822d2997f21f404a69e368
parentbdf99c0db4a98f1dde69afff7e391286c4526fac
[emacs] use lean-input as default input method, toggled with C-\

super handy for inserting logical symbols like ∧,∨,→,↔,≡,≜,∩,∪,λ,∘,⋯
init.org