diff options
Diffstat (limited to 'coq/coq-unicode-tokens.el')
| -rw-r--r-- | coq/coq-unicode-tokens.el | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el index 9206e406..7caeb30b 100644 --- a/coq/coq-unicode-tokens.el +++ b/coq/coq-unicode-tokens.el @@ -105,16 +105,16 @@ results will be undefined when files are saved." (":=" . "≔") ;; some word shortcuts, started with backslash otherwise ;; too annoying, perhaps. - ("\forall" . "∀") - ("\exists" . "∃") - ("\nat" . "ℕ") - ("\int" . "ℤ") - ("\rat" . "ℚ") - ("\real" . "ℝ") - ("\complex" . "ℂ") - ("\euro" . "€") - ("\yen" . "¥") - ("\cent" . "¢")) + ("\\forall" . "∀") + ("\\exists" . "∃") + ("\\nat" . "ℕ") + ("\\int" . "ℤ") + ("\\rat" . "ℚ") + ("\\real" . "ℝ") + ("\\complex" . "ℂ") + ("\\euro" . "€") + ("\\yen" . "¥") + ("\\cent" . "¢")) "Shortcut key sequence table for Unicode strings. You can adjust this table to add more entries, or to change entries for |