diff options
Diffstat (limited to 'emacs/inits/04-input_method.el')
| -rw-r--r-- | emacs/inits/04-input_method.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el index b463ff6..fff167c 100644 --- a/emacs/inits/04-input_method.el +++ b/emacs/inits/04-input_method.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2019-09-11 11:26:28 (tslil@basingstoke)> +;; Time-stamp: <2019-09-11 20:37:56 (tslil@bison)> (use-package agda-input :load-path "~/.emacs.d/scripts/" @@ -7,6 +7,7 @@ ("==>" "⟹") ("amalg" "⨿") ("bG" "𝔾") + ("bB" "𝔹") ("bU" "𝕌"))) (add-to-list 'agda-input-user-translations sym)) (agda-input-setup)) |