diff options
| -rw-r--r-- | isar/isar-unicode-tokens.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 9d6cd263..aed90fdf 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -583,9 +583,9 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." ("ALL" . "\\<forall>") ("EX" . "\\<exists>") ("!!" . "\\<And>") - ("~" . "\\<not>") - ("!" . "\\<forall>") - ("?" . "\\<exists>") + ;; ("~" . "\\<not>") + ;; ("!" . "\\<forall>") + ;; ("?" . "\\<exists>") ;; extra misc, switch them off if you don't like them ("|>" . "\<triangleright>") ("<|" . "\<triangleleft>") |