diff options
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." ("[|" . "⟦") (">>" . "⟫") ("|]" . "⟧") - ("``" . "”") +; ("``" . "”") ; ("''" . "“") ; ("--" . "–") ("---" . "—") |