diff options
| author | David Aspinall | 2008-02-17 12:32:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-17 12:32:39 +0000 |
| commit | 925d42e6de4c374c02d25a84b1e220dff3be6a0c (patch) | |
| tree | 3bc686031b054c91ec1cfe2ccdd73e5ebdeaa9a2 /isar | |
| parent | ecd74a6acd3ba9a200d36c7d915d56e7b2c3be9b (diff) | |
Missing backslashes.
Diffstat (limited to 'isar')
| -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 |
