diff options
| -rw-r--r-- | isar/isar-unicode-tokens.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 1d7c3bf2..6b2de7fd 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -23,10 +23,10 @@ (defcustom isar-token-name-alist (flet - ((script (s) (format "\<^bscript>%s\<^escript>" s)) - (frakt (s) (format "\<^bfrak>%s\<^efrak>" s)) - (serif (s) (format "\<^bserif>%s\<^eserif>" s)) - (bold (s) (format "\<^bbold>%s\<^ebold>" s))) + ((script (s) (format "\\<^bscript>%s\\<^escript>" s)) + (frakt (s) (format "\\<^bfrak>%s\\<^efrak>" s)) + (serif (s) (format "\\<^bserif>%s\\<^eserif>" s)) + (bold (s) (format "\\<^bbold>%s\\<^ebold>" s))) ;; property-based annotations. More direct for input ;; but inverse mapping tricky: need to ignore for |