aboutsummaryrefslogtreecommitdiff
path: root/isar
diff options
context:
space:
mode:
authorDavid Aspinall2008-02-17 12:32:39 +0000
committerDavid Aspinall2008-02-17 12:32:39 +0000
commit925d42e6de4c374c02d25a84b1e220dff3be6a0c (patch)
tree3bc686031b054c91ec1cfe2ccdd73e5ebdeaa9a2 /isar
parentecd74a6acd3ba9a200d36c7d915d56e7b2c3be9b (diff)
Missing backslashes.
Diffstat (limited to 'isar')
-rw-r--r--isar/isar-unicode-tokens.el8
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