diff options
| -rw-r--r-- | isar/isar-unicode-tokens.el | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 3241234c..581543ab 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -481,21 +481,26 @@ tokens." collect (cons (funcall f1 c) (cons (funcall f2 c) symbs)))) -(defconst isar-script-letters-tokens +(defconst isar-script-letters-tokens ; \<A> \<B> ... (isar-map-letters (lambda (x) (format "%c" x)) (lambda (x) (format "%c" x)) 'script)) -(defconst isar-roman-letters-tokens - (isar-map-letters (lambda (x) (format "%c" x)) - (lambda (x) (format "%c" x)) +(defconst isar-roman-letters-tokens ; \<a> \<b> ... + (isar-map-letters (lambda (x) (downcase (format "%c" x))) + (lambda (x) (downcase (format "%c" x))) 'serif)) -(defconst isar-fraktur-letters-tokens +(defconst isar-fraktur-uppercase-letters-tokens ; \<AA> \<BB> .. (isar-map-letters (lambda (x) (format "%c%c" x x)) (lambda (x) (format "%c" x)) 'frakt)) +(defconst isar-fraktur-lowercase-letters-tokens ; \<AA> \<BB> .. + (isar-map-letters (lambda (x) (downcase (format "%c%c" x x))) + (lambda (x) (downcase (format "%c" x))) + 'frakt)) + (defcustom isar-token-symbol-map nil "Table mapping Isabelle symbol token names to Unicode strings. See `unicode-tokens-token-symbol-map'. @@ -531,6 +536,8 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." isar-bold-nums-tokens isar-script-letters-tokens isar-roman-letters-tokens + isar-fraktur-uppercase-letters-tokens + isar-fraktur-lowercase-letters-tokens isar-user-tokens isar-symbols-tokens-fallbacks))) |