diff options
Diffstat (limited to 'isar/isar-unicode-tokens.el')
| -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 02423ca3..7ecc08ef 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -310,7 +310,7 @@ ("copyright" "©") ("registered" "®") ("hyphen" "‐") - ("inverse" "\t¯¹") ; X-Symb: just "¯" + ("inverse" "¯¹") ; X-Symb: just "¯" ("onesuperior" "¹") ("twosuperior" "²") ("threesuperior" "³") @@ -340,7 +340,7 @@ ("dieresis" "¨") ("cedilla" "¸") ("hungarumlaut" "ʺ") - ("spacespace" " ") ;; two #x002001 + ("spacespace" " ") ;; #x002001 ("module" "⟨module⟩" bold) ("some" "ϵ")) "Symbol token map for Isabelle. The standard set of Isabelle symbols." |