diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2009-09-02 10:27:23 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2009-09-02 10:27:23 +0000 |
| commit | 80cfed887895d89c00e87d720987ac6bf18bc949 (patch) | |
| tree | 05eda8565208356cf860d8b6222595990c5031c0 /isar/isar-unicode-tokens.el | |
| parent | 5a20070f3a9fb675989f6d1c3a9e3cb25df8684b (diff) | |
proper backslash escape;
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 ad6353ad..2e1e7b55 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -588,8 +588,8 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." ;; ("!" . "\\<forall>") ;; ("?" . "\\<exists>") ;; extra misc, switch them off if you don't like them - ("|>" . "\<triangleright>") - ("<|" . "\<triangleleft>")) + ("|>" . "\\<triangleright>") + ("<|" . "\\<triangleleft>")) "Shortcut key sequence table for symbol tokens input. See `unicode-tokens-shortcut-alist'." :type 'unicode-tokens-shortcut-alist |