Add binding for \sim character (U+223C ∼) to emacs unicode file.

HOL-Theorem-Prover · Mar 3, 2014 · d9c2b74 · d9c2b74
1 parent f696d4e
commit d9c2b74
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/hol-unicode.el b/tools/hol-unicode.el
@@ -13,6 +13,7 @@
 (global-set-key (kbd "C-~") (lambda () (interactive) (insert "¬")))
 (global-set-key (kbd "C-S-c") "⊆")
 (global-set-key (kbd "C-S-q") "≤")
+(global-set-key (kbd "C-M-~") "∼")
 
 (global-set-key (kbd "C-{") "⟦")
 (global-set-key (kbd "C-}") "⟧")