Amin Bandali [Mon, 3 Dec 2018 13:59:19 +0000 (08:59 -0500)]
[emacs] update 4 drones
Update lib/diff-hl to
1.8.4-23-ga626bf8
Update lib/helm to
v3.0-59-g5a0c8f99
Update lib/magithub to
0.1.7-50-g9d48e74
Update lib/slack to
2ef44cc
Amin Bandali [Mon, 3 Dec 2018 13:56:58 +0000 (08:56 -0500)]
[emacs] switch from shell-pop to shell-toggle
for some reason, shell-pop wouldn’t save eshell history
Amin Bandali [Sat, 1 Dec 2018 15:33:13 +0000 (10:33 -0500)]
[emacs] update 3 drones
Update lib/ghub to
v3.0.0-7-g66dbfc2
Update lib/org to release_9
.1.14-1049-g04641c4bb
Update lib/request to
v0.3.0-13-gb12f54a
Amin Bandali [Sat, 1 Dec 2018 15:30:57 +0000 (10:30 -0500)]
[emacs] add cpitclaudel's tangomod{,-dark} themes
and amin/{dark,light} helpers to switch between them along with
corresponding sml mode-line theme
Amin Bandali [Fri, 30 Nov 2018 20:18:23 +0000 (15:18 -0500)]
[emacs] update 6 drones
Update lib/hydra to
0.14.0-22-g67098cc
Update lib/ivy to
0.10.0-499-g86635fb
Update lib/magit to
v2.90.1-49-g0e6639bb
Update lib/org to release_9
.1.14-1048-gd3f9cd0ee
Update lib/request to
v0.3.0-12-g187d3bf
Update lib/slack to
17928ce
Amin Bandali [Tue, 27 Nov 2018 16:37:53 +0000 (11:37 -0500)]
[emacs] update 6 drones
Update lib/flycheck to
31-187-gff306e3e
Update lib/helm to
v3.0-58-g427a7bc1
Update lib/ivy to
0.10.0-490-g3d301d7
Update lib/magit to
v2.90.1-46-gb14a7a20
Update lib/org to release_9
.1.14-1043-gcd60a35fe
Update lib/slack to
99a5750
Amin Bandali [Mon, 26 Nov 2018 05:04:54 +0000 (00:04 -0500)]
[emacs] update 3 drones
Update lib/helm to
v3.0-56-g1bb9b84d
Update lib/org to release_9
.1.14-1040-gf33fa994b
Update lib/slack to
af36a97
Amin Bandali [Mon, 26 Nov 2018 05:03:39 +0000 (00:03 -0500)]
[rc/pigeonhole] update and slightly simplify the sieve rules a bit
Amin Bandali [Mon, 26 Nov 2018 05:01:07 +0000 (00:01 -0500)]
[emacs/gnus] fix archive group
Amin Bandali [Mon, 26 Nov 2018 05:00:48 +0000 (00:00 -0500)]
[emacs] tweak bindings a bit
Amin Bandali [Mon, 26 Nov 2018 04:55:19 +0000 (23:55 -0500)]
[emacs] remove notmuch{,-counsel}
Amin Bandali [Sat, 24 Nov 2018 23:11:05 +0000 (18:11 -0500)]
[emacs/evil] touch up my mode state mappings
also, use emacs state for ebdb-mode
Amin Bandali [Sat, 24 Nov 2018 23:10:45 +0000 (18:10 -0500)]
[emacs] update 4 drones
Update lib/diff-hl to
1.8.4-21-ga48699f
Update lib/helm to
v3.0-54-gb7ba8273
Update lib/ivy to
0.10.0-483-g79543f3
Update lib/magit to
v2.90.1-27-g6c6462fb
Amin Bandali [Sat, 24 Nov 2018 23:09:06 +0000 (18:09 -0500)]
[emacs] assimilate boogie-friends
Amin Bandali [Thu, 22 Nov 2018 15:40:50 +0000 (10:40 -0500)]
[emacs/evil] allow evil-integration, but don't use undo-tree-mode
using evil-integration resolves issues like paren highlighting in
normal mode when cursor is 'on' the closing paren itself
Amin Bandali [Thu, 22 Nov 2018 15:40:22 +0000 (10:40 -0500)]
[emacs/magit] auto-expand unpulled and unpushed sections
Amin Bandali [Thu, 22 Nov 2018 15:39:11 +0000 (10:39 -0500)]
[emacs] include non-ASCII counterparts in search results
Amin Bandali [Thu, 22 Nov 2018 15:38:33 +0000 (10:38 -0500)]
[emacs] update 6 drones
Update lib/haskell-mode to
v13.14-1200-g4aa8875
Update lib/helm to
v3.0-51-gb69eaf7b
Update lib/ivy to
0.10.0-461-g69856b6
Update lib/magit to
v2.90.1-20-g01240e9b
Update lib/ox-hugo to
v0.8-438-gdaf7744
Update lib/slack to
186b465
Amin Bandali [Wed, 21 Nov 2018 05:08:15 +0000 (00:08 -0500)]
[emacs/evil] unbind C-k (instead use C-S-k) and down-mouse-1
- i prefer C-k to be kill-line and instead use C-S-k for
evil-insert-digraph
- unbind down-mouse-1 in evil-motion-state-map, which causes evil to
enter visual mode when clicking a link with mouse, for instance in a
help buffer
Amin Bandali [Wed, 21 Nov 2018 05:07:15 +0000 (00:07 -0500)]
[emacs] try out a custom message-cite-style instead of supercite
Amin Bandali [Wed, 21 Nov 2018 05:04:58 +0000 (00:04 -0500)]
[emacs/magit] auto-expand unmerged into upstream and recent commits
Amin Bandali [Wed, 21 Nov 2018 05:04:18 +0000 (00:04 -0500)]
[emacs] update 7 drones
Update lib/flycheck to
31-183-g894d96f7
Update lib/helm to
v3.0-47-gfa119eb9
Update lib/ivy to
0.10.0-454-g1801927
Update lib/nix-mode to
v1.2.2-67-g90ac0a7
Update lib/org to release_9
.1.14-1038-g4aa6a37d2
Update lib/use-package to
2.3-420-g39a8b88
Update lib/winum to 2.1.0
Amin Bandali [Mon, 19 Nov 2018 15:20:09 +0000 (10:20 -0500)]
[emacs] update 3 drones
Update lib/ivy to
0.10.0-437-g31b5423
Update lib/org to release_9
.1.14-1037-gfc9cf62bf
Update lib/pdf-tools to
v0.80-139-g9e76593
Amin Bandali [Mon, 19 Nov 2018 15:19:27 +0000 (10:19 -0500)]
[emacs] add a few window-related amin--leader-keys bindings
Amin Bandali [Mon, 19 Nov 2018 15:19:12 +0000 (10:19 -0500)]
[emacs] display full date on slack messages
Amin Bandali [Mon, 19 Nov 2018 15:18:46 +0000 (10:18 -0500)]
[emacs/gnus] reply to webmasters-comment on ThankCRMs
Amin Bandali [Mon, 19 Nov 2018 15:18:13 +0000 (10:18 -0500)]
[emacs/supercite] use built-in sc-header-author-writes header style
Amin Bandali [Sun, 18 Nov 2018 16:08:08 +0000 (11:08 -0500)]
[emacs] add evil-{nerd-commenter,surround}
Amin Bandali [Sun, 18 Nov 2018 07:02:44 +0000 (02:02 -0500)]
[emacs] assimilate and add eshell-up, add eshell aliases file
eshell aliases file based on
https://github.com/dakra/dmacs/blob/master/etc/eshell-aliases
Amin Bandali [Sun, 18 Nov 2018 06:36:37 +0000 (01:36 -0500)]
[emacs] more binding customizations
Amin Bandali [Sun, 18 Nov 2018 05:12:59 +0000 (00:12 -0500)]
[emacs] add general and evil{,-escape}, with *lots* of enhancements
extremely happy with how this has turned out so far. after all, i may
be able to use and stick with evil.
Amin Bandali [Sun, 18 Nov 2018 03:33:34 +0000 (22:33 -0500)]
[rc] synchronize uw mail first (lower latency than my server)
Amin Bandali [Sat, 17 Nov 2018 19:46:39 +0000 (14:46 -0500)]
[emacs] update 6 drones
Update lib/flycheck-haskell to
0.8-75-g072c854
Update lib/helm to
v3.0-45-g84a59b1e
Update lib/magit to
v2.90.1-10-g36d89c88
Update lib/magithub to
0.1.7-41-g94e9f9a
Update lib/org to release_9
.1.14-1036-g7bf3c1081
Update lib/pdf-tools to
v0.80-134-g105dd01
Amin Bandali [Sat, 17 Nov 2018 04:51:28 +0000 (23:51 -0500)]
[rc/rofi-remmina.py] better format code, set rofi -width
Amin Bandali [Sat, 17 Nov 2018 04:29:42 +0000 (23:29 -0500)]
[rc] add rofi-remmina.py script for launching remmina connections
i *hate* that the remmina gtk gui doesn’t let me just type a few
characters of the connection name and press enter.
Amin Bandali [Sat, 17 Nov 2018 04:27:51 +0000 (23:27 -0500)]
[rc/rofi-light] don’t invoke light when esc was pressed
Amin Bandali [Fri, 16 Nov 2018 11:31:27 +0000 (06:31 -0500)]
[emacs] got tired of seeing auto-revert errors on non-file buffers
Amin Bandali [Fri, 16 Nov 2018 03:25:35 +0000 (22:25 -0500)]
[rc/msmtp] update expected fp tls cert fingerprint
Amin Bandali [Thu, 15 Nov 2018 20:26:23 +0000 (15:26 -0500)]
[emacs] update 4 drones
Update lib/helm to
v3.0-41-g681eafbe
Update lib/magit to
v2.90.0-15-g8b32aa03
Update lib/proof-site to
v4.4-211-g05df29f7
Update lib/which-key to
v3.3.0-4-g43e3e3d
Amin Bandali [Thu, 15 Nov 2018 20:23:30 +0000 (15:23 -0500)]
[emacs] say hi and greetings for me :)
also, i think i prefer no prefix to ">>>>> " for reference header
Amin Bandali [Thu, 15 Nov 2018 20:21:54 +0000 (15:21 -0500)]
[emacs] actually, enable the server (used by emacsclient from term)
Amin Bandali [Wed, 14 Nov 2018 00:25:04 +0000 (19:25 -0500)]
[emacs] update 4 drones
Update lib/helm to
v3.0-38-g80915d17
Update lib/magit to
v2.90.0-13-gaeaab802
Update lib/slack to
19af9a3
Update lib/with-editor to
v2.8.0-3-g9dd9f17
Amin Bandali [Wed, 14 Nov 2018 00:21:55 +0000 (19:21 -0500)]
[emacs] disable supercite auto-fill for now, move borg-remove
TODO: look into filladapt or gin-mode for possibily better filling
Amin Bandali [Wed, 14 Nov 2018 00:20:14 +0000 (19:20 -0500)]
[emacs] try out ebdb
Amin Bandali [Tue, 13 Nov 2018 00:45:08 +0000 (19:45 -0500)]
[emacs] set up supercite to my liking
Amin Bandali [Tue, 13 Nov 2018 00:44:09 +0000 (19:44 -0500)]
[emacs] disable highlight-indent-guides
quite nice and pretty, but i don’t think it’s necessary, and i feel it
adds some latency
Amin Bandali [Tue, 13 Nov 2018 00:43:08 +0000 (19:43 -0500)]
[emacs] update 5 drones
lib/ghub master
v3.0.0-6-gf389fce
lib/helm master
v3.0-31-gac9cd9bd
lib/magit master
v2.90.0-10-g31ba7ea9
lib/markdown-mode master
v2.3-203-gd18a8f8
lib/org master release_9
.1.14-1035-gfeb44212b
Amin Bandali [Tue, 13 Nov 2018 00:40:27 +0000 (19:40 -0500)]
[emacs] only use ~/.authinfo.gpg as an auth-source
avoid storing credentials in plain-text ~/.authinfo
Amin Bandali [Tue, 13 Nov 2018 00:39:20 +0000 (19:39 -0500)]
[emacs] assimilate and try out magithub
Amin Bandali [Mon, 12 Nov 2018 03:49:16 +0000 (22:49 -0500)]
[emacs/org] have `C-c C-, L' insert an emacs-lisp src block
Amin Bandali [Mon, 12 Nov 2018 03:47:57 +0000 (22:47 -0500)]
[emacs] customize the eshell prompt
adapted from https://gitlab.com/bennya/shrink-path.el
Amin Bandali [Mon, 12 Nov 2018 03:07:36 +0000 (22:07 -0500)]
[emacs] update 2 drones
lib/elisp-refs master
1.3-8-g686aa5e
lib/org master release_9
.1.14-1034-gafcb1d389
Amin Bandali [Mon, 12 Nov 2018 03:05:53 +0000 (22:05 -0500)]
[emacs] comment out Server and Unicode init.org sections
Amin Bandali [Mon, 12 Nov 2018 03:05:35 +0000 (22:05 -0500)]
[emacs] assimilate and use hl-todo
Amin Bandali [Mon, 12 Nov 2018 03:01:21 +0000 (22:01 -0500)]
[emacs] remove doom-modeline and eink-theme, use smart-mode-line
TODO: maybe look for another theme or create one
Amin Bandali [Mon, 12 Nov 2018 01:47:09 +0000 (20:47 -0500)]
[emacs] cut init time in half (~0.450s now) using use-package tweaks
lazy-load more things, either with a time delay or after another
package has loaded
Amin Bandali [Sun, 11 Nov 2018 18:53:06 +0000 (13:53 -0500)]
[emacs] convenient footnotes in message-mode (using footnote-mode)
Amin Bandali [Sun, 11 Nov 2018 18:50:48 +0000 (13:50 -0500)]
[emacs] adjust lean-mode and highlight-indent-guides load delays
Amin Bandali [Sun, 11 Nov 2018 18:43:26 +0000 (13:43 -0500)]
[emacs] update 11 drones
lib/doom-modeline master v0.7.0
lib/emacsql master
3.0.0-1-gf8c3d9f
lib/ghub master
v3.0.0-4-gc4cf60e
lib/helm master
v3.0-30-gfaad077b
lib/hydra master
0.14.0-21-g5c5b9ca
lib/ivy master
0.10.0-429-gd76968a
lib/magit master
v2.90.0-8-g0b86dbfd
lib/mwim master
v0.4-1-gb4f3edb
lib/org master release_9
.1.14-1033-g5dfbe46b1
lib/slack master
3356b3c
lib/use-package master
2.3-413-gd9f2294
Amin Bandali [Sun, 11 Nov 2018 18:37:06 +0000 (13:37 -0500)]
[emacs] get canlock-password from auth
Amin Bandali [Sun, 11 Nov 2018 18:36:47 +0000 (13:36 -0500)]
[emacs] commit custom.el changes
Amin Bandali [Sun, 11 Nov 2018 02:20:07 +0000 (21:20 -0500)]
[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
Amin Bandali [Sun, 11 Nov 2018 00:58:40 +0000 (19:58 -0500)]
[emacs/gnus] default to 50 articles when no unread or ticked
Amin Bandali [Sat, 10 Nov 2018 22:54:00 +0000 (17:54 -0500)]
[emacs/gnus] always display my inbox groups
Amin Bandali [Sat, 10 Nov 2018 18:43:44 +0000 (13:43 -0500)]
[emacs] update 8 drones
lib/crux master
v0.3.0-32-g308f17d
lib/doom-modeline master
v0.6.1-7-g404e107
lib/helm master
v3.0-29-gd6dfb8f1
lib/magit master
v2.90.0-6-ge19e8fb1
lib/org master release_9
.1.14-1029-g88ef9f26d
lib/projectile master
v1.0.0-205-g9482d69
lib/which-key master
v3.3.0-3-gace569b
lib/winum master 2.0.1
Amin Bandali [Sat, 10 Nov 2018 18:37:22 +0000 (13:37 -0500)]
[rc/mbsync] actually delete messages instead of marking as deleted
Amin Bandali [Sat, 10 Nov 2018 18:36:57 +0000 (13:36 -0500)]
[emacs] further Gnus and Message customizations
Amin Bandali [Fri, 9 Nov 2018 02:44:04 +0000 (21:44 -0500)]
[emacs/gnus] show the User-Agent header in article/mail summary
Amin Bandali [Fri, 9 Nov 2018 02:43:27 +0000 (21:43 -0500)]
[rc/dovecot] enable fts_lucene for full-text search
Amin Bandali [Thu, 8 Nov 2018 18:03:58 +0000 (13:03 -0500)]
[emacs] gnus-posting-styles is good enough, no need for gnus-alias
Amin Bandali [Thu, 8 Nov 2018 17:38:56 +0000 (12:38 -0500)]
[emacs/{gnus,org}] org-store-link (binding + no limit on subject)
Amin Bandali [Thu, 8 Nov 2018 14:57:11 +0000 (09:57 -0500)]
[emacs] assimilate and use gnus-alias instead of gnus-posting-styles
Amin Bandali [Thu, 8 Nov 2018 04:15:19 +0000 (23:15 -0500)]
[emacs/gnus] bindings and posting styles fixes
Amin Bandali [Thu, 8 Nov 2018 01:50:52 +0000 (20:50 -0500)]
[emacs] update 7 drones, remove meghanada, note lsp-java deps
lib/epkg master
v3.1.1-1-gc42bc98
lib/ghub master
v3.0.0-3-g1abe6ff
lib/highlight-indent-guides master
fc99ee7
lib/magit master
2.13.0-387-gad130229
lib/ox-hugo master
v0.8-437-g7fb284e
lib/projectile master
v1.0.0-204-gaa74ae1
lib/slack master
b853a34
Amin Bandali [Thu, 8 Nov 2018 01:34:46 +0000 (20:34 -0500)]
[emacs,rc] Gnus + Isync + Dovecot configs, notmuch-emacs phase out
TODO: look into full-text search, using either notmuch or (c)lucene
https://ericabrahamsen.net/tech/2014/oct/gnus-dovecot-lucene.html
https://web.archive.org/web/
20160713091633/http://roland.entierement.nu:80/blog/2010/09/08/gnus-dovecot-offlineimap-search-a-howto.html
Amin Bandali [Wed, 7 Nov 2018 19:31:29 +0000 (14:31 -0500)]
[emacs] start configuring Gnus :)
Amin Bandali [Tue, 6 Nov 2018 15:27:54 +0000 (10:27 -0500)]
[emacs] update 5 drones
lib/company master 0.9.7
lib/helm master
v3.0-26-g8e9a7385
lib/magit master
2.13.0-384-g9ff26635
lib/org master release_9
.1.14-1024-gbfb946c7d
lib/ox-hugo master
v0.8-431-g99e7715
Amin Bandali [Tue, 6 Nov 2018 15:26:01 +0000 (10:26 -0500)]
[emacs] add some help and helpful bindings
Amin Bandali [Tue, 6 Nov 2018 06:24:03 +0000 (01:24 -0500)]
[emacs] Gnus setup skeleton
Amin Bandali [Mon, 5 Nov 2018 21:53:36 +0000 (16:53 -0500)]
[emacs] make outline bindings not overlap, bindings for flycheck
Amin Bandali [Mon, 5 Nov 2018 21:52:36 +0000 (16:52 -0500)]
[rc] nix → deb, and a few useful aliases
Amin Bandali [Sun, 4 Nov 2018 21:27:21 +0000 (16:27 -0500)]
[emacs] update 4 drones
lib/magit master
2.13.0-383-gdc0a2e70
lib/org master release_9
.1.14-1023-g503a1d4d9
lib/slack master
ef3956a
lib/web-mode master
v16-45-g29ced99
Amin Bandali [Sun, 4 Nov 2018 21:20:45 +0000 (16:20 -0500)]
[emacs] a few useful super bindings
Amin Bandali [Sun, 4 Nov 2018 21:17:16 +0000 (16:17 -0500)]
[emacs] small slack enhancements
Amin Bandali [Sun, 4 Nov 2018 04:56:58 +0000 (00:56 -0400)]
Revert "[emacs] assimilate org-outline-numbering and dep"
This reverts commit
9b59637c71b32cc79bae835c0609f426c64e0136.
i’ll instead use org-num (by Nicolas Goaziou) when it’s released
https://lists.gnu.org/r/emacs-orgmode/2018-11/msg00015.html
Amin Bandali [Sun, 4 Nov 2018 04:45:01 +0000 (00:45 -0400)]
[emacs] some slack-related enhancements
Amin Bandali [Sun, 4 Nov 2018 04:43:33 +0000 (00:43 -0400)]
[emacs] update 9 drones
lib/doom-modeline master
v0.6.1-2-ge9d4728
lib/helm master
v3.0-25-g63285d7f
lib/magit master
2.13.0-379-gaf4bf8df
lib/org master release_9
.1.14-1020-g6e51b42e1
lib/ox-hugo master
v0.8-429-g1bad3c4
lib/projectile master
v1.0.0-203-g8c2e260
lib/slack master
2e96859
lib/web-mode master
v16-44-g6f70ee0
lib/with-editor master
v2.8.0-2-g87c96b3
Amin Bandali [Fri, 2 Nov 2018 04:26:44 +0000 (00:26 -0400)]
[emacs] update org; secrets: eval-when-compile require 'auth-source
update org to release_9
.1.14-1017-g6382a6bbb
Amin Bandali [Thu, 1 Nov 2018 22:28:49 +0000 (18:28 -0400)]
[emacs] update 14 drones
lib/borg master
v3.0.0-1-g73990d3
lib/closql master v1.0.0
lib/doom-modeline master v0.6.1
lib/emacsql master 3.0.0
lib/epkg master v3.1.1
lib/ghub master v3.0.0
lib/helpful master
0.15-7-g039345e
lib/magit master
2.13.0-367-g39f22c97
lib/no-littering master v1.0.0
lib/org master release_9
.1.14-1016-g85a675b93
lib/ox-hugo master
v0.8-428-g6f495b9
lib/proof-site master
v4.4-209-g15cf5a3f
lib/web-mode master
v16-43-g2d8c7fc
lib/with-editor master v2.8.0
Amin Bandali [Thu, 1 Nov 2018 22:20:51 +0000 (18:20 -0400)]
[emacs] assimilate slack and deps, clear up .gitignore, add secrets
hopefully the slack thing is temporary, as i don’t like using
proprietary platforms. however, if i must, i’d *much* prefer using
free software to access it, rather than executing proprietary JS.
note: since i’ve decided to commit etc/secrets.el, it shall not
contain any sensitive information itself, but rather how to obtain
them. therefore, it must be byte-compiled; and the byte-compiled
etc/secrets.elc must *never* be committed.
Amin Bandali [Wed, 31 Oct 2018 16:26:38 +0000 (12:26 -0400)]
[emacs] assimilate other-frame-window and winum (TODO: set them up)
Amin Bandali [Wed, 31 Oct 2018 15:58:31 +0000 (11:58 -0400)]
[emacs] assimilate org-outline-numbering and dep
TODO: sort out auto-upating if possible and then enable
Amin Bandali [Wed, 31 Oct 2018 15:56:34 +0000 (11:56 -0400)]
[emacs] enable orgalist-mode in message-mode
Amin Bandali [Wed, 31 Oct 2018 15:55:59 +0000 (11:55 -0400)]
[emacs] some pdf-tools customizations
Amin Bandali [Wed, 31 Oct 2018 15:54:53 +0000 (11:54 -0400)]
[emacs] assimilate meghanada and deps (for Java)
also briefly tried lsp-java but meghanada seems to be more stable atm
Amin Bandali [Wed, 31 Oct 2018 15:41:23 +0000 (11:41 -0400)]
[emacs/amin/notmuch] don’t delete other windows when prefix arg
Amin Bandali [Wed, 31 Oct 2018 15:40:20 +0000 (11:40 -0400)]
[emacs] update 9 drones
lib/borg master
v2.0.0-73-g3144f29
lib/hydra master
0.14.0-20-gd071278
lib/ivy master
0.10.0-425-gbd980d8
lib/nix-mode master
v1.2.2-65-g84ee980
lib/no-littering master v0.5.15
lib/projectile master
v1.0.0-202-g2a3e27a
lib/proof-site master
v4.4-207-g79873925
lib/web-mode master
v16-42-gc17db9b
lib/with-editor master
v2.7.4-7-g7ac5743
Amin Bandali [Tue, 30 Oct 2018 03:33:16 +0000 (23:33 -0400)]
[emacs/company] allow abort with esc
Amin Bandali [Tue, 30 Oct 2018 03:32:19 +0000 (23:32 -0400)]
[emacs] disable highlight-indent-guides-mode in org-mode
causes *huge* langging when typing a large org file like my rc.org
TODO: investigate and report to upstream
Amin Bandali [Tue, 30 Oct 2018 03:28:22 +0000 (23:28 -0400)]
[emacs] use lean-input as default input method, toggled with C-\
super handy for inserting logical symbols like ∧,∨,→,↔,≡,≜,∩,∪,λ,∘,⋯