From 131eae8d53e8bf41023e11da7382294f187ea41d Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Tue, 24 Mar 2020 10:19:15 -0700
Subject: Changes from bison

---
 emacs/inits/04-input_method.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'emacs/inits/04-input_method.el')

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))
-- 
cgit v1.2.3