diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-10-29 23:28:22 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-10-29 23:28:22 -0400 |
| commit | 2e7aa30f7e46eabf984adc1018d7ccbdfefecca8 (patch) | |
| tree | 6e346c6bce4e36e0f0822d2997f21f404a69e368 /lib/proof-site | |
| parent | bdf99c0db4a98f1dde69afff7e391286c4526fac (diff) | |
| download | configs-2e7aa30f7e46eabf984adc1018d7ccbdfefecca8.tar.gz configs-2e7aa30f7e46eabf984adc1018d7ccbdfefecca8.tar.xz configs-2e7aa30f7e46eabf984adc1018d7ccbdfefecca8.zip | |
[emacs] use lean-input as default input method, toggled with C-\
super handy for inserting logical symbols like ∧,∨,→,↔,≡,≜,∩,∪,λ,∘,⋯
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions