diff options
author | Makarius Wenzel <makarius@sketis.net> | 2008-07-07 18:35:28 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2008-07-07 18:35:28 +0000 |
commit | 9a00ef02a868d7bce8255811393a7e89ef59ccc7 (patch) | |
tree | 9557b6e09c341a2b02e9d74daa9d40e2587c66bc /isar/isar-unicode-tokens.el | |
parent | 04153288da4cba22d77a415f155130298473d6b4 (diff) |
isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle;
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-rw-r--r-- | isar/isar-unicode-tokens.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 505c97ea..6c79224b 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -508,7 +508,9 @@ results will be undefined when files are saved." ("-|" . "⊣") ("||" . "∥") ("==" . "≡") - ("~=" . "≃") + ("~=" . "≠") + ("~:" . "∉") +; ("~=" . "≃") ("~~~" . "≍") ("~~" . "≈") ("~==" . "≅") @@ -525,7 +527,7 @@ results will be undefined when files are saved." ("~~/" . "≉") ("~==/" . "≇") ("<-" . "←") - ("<=" . "⇐") +; ("<=" . "⇐") ("->" . "→") ("=>" . "⇒") ("<->" . "↔") @@ -542,7 +544,7 @@ results will be undefined when files are saved." ("[|" . "⟦") (">>" . "⟫") ("|]" . "⟧") - ("``" . "”") +; ("``" . "”") ; ("''" . "“") ; ("--" . "–") ("---" . "—") |