diff options
-rw-r--r-- | isar/isar-unicode-tokens.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index f037a5e5..598082a1 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -353,7 +353,10 @@ ("hungarumlaut" "ʺ") ("spacespace" " ") ;; #x002001 ("module" "⟨module⟩" bold) - ("some" "ϵ")) + ("some" "ϵ") + ("open" "‹") + ("close" "›") + ("newline" "⏎")) "Symbol token map for Isabelle. The standard set of Isabelle symbols." :type 'unicode-tokens-token-symbol-map :group 'isabelle-tokens |