diff options
-rw-r--r-- | isar/isar-unicode-tokens.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 581543ab..ce1620a6 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -593,7 +593,7 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." ("==>" . "\\<Longrightarrow>") ("<==>" . "\\<Longleftrightarrow>") ("|-->" . "\\<longmapsto>") - ("<-->" . "\\<longleftrightarrow>") + ("<->" . "\\<longleftrightarrow>") ("<<" . "\\<guillemotleft>") (">>" . "\\<guillemotright>") ("<>" . "\\<diamond>") @@ -601,7 +601,6 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." ("|]" . "\\<rbrakk>") ("{|" . "\\<lbrace>") ("|}" . "\\<rbrace>") - ("---" . "\\<emdash>") ("(|" . "\\<lparr>") ("|)" . "\\<rparr>") ;; useful for unicode-tokens-replace-shortcuts |