diff options
Diffstat (limited to 'isar')
| -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" . "⊥") |