From 6d8438addf37fd84fbfa2b1a912e680da252bbf7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 19 Jul 2008 16:05:36 +0000
Subject: Add lbrace, rbrace

---
 isar/isar-unicode-tokens.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 2a150a4e..874b33cb 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -256,8 +256,8 @@
     ("rparr" . "⦈")
     ("lbrakk" . "⟦")
     ("rbrakk" . "⟧")
-;;     ("lbrace" . "") TODO
-;;    ("rbrace" . "")
+    ("lbrace" . "⦃")
+    ("rbrace" . "⦄")
     ("guillemotleft" . "«")
     ("guillemotright" . "»")
     ("bottom" . "⊥")
-- 
cgit v1.2.3