diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:05:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:05:36 +0000 |
commit | 6d8438addf37fd84fbfa2b1a912e680da252bbf7 (patch) | |
tree | 748c0d0b76a63cf143f49c6969d27f302e8d09be | |
parent | c9d0ab9e204520a088da078819a2ca2800951d8f (diff) |
Add lbrace, rbrace
-rw-r--r-- | isar/isar-unicode-tokens.el | 4 |
1 files 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" . "⊥") |