Add a Unicode binding for a fancy colon character (⦂, U+2982)

HOL-Theorem-Prover · Oct 21, 2023 · 4b009e0 · 4b009e0
1 parent 68d5422
commit 4b009e0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/hol-unicode.el b/tools/hol-unicode.el
@@ -8,6 +8,7 @@
 (global-set-key (kbd "C-S-u") "∪")
 (global-set-key (kbd "C-S-i") "∩")
 (global-set-key (kbd "C-:") "∈")
+(global-set-key (kbd "C-M-:") "⦂")
 (global-set-key (kbd "C-~") (lambda () (interactive) (insert "¬")))
 (global-set-key (kbd "C-S-c") "⊆")
 (global-set-key (kbd "C-*") (lambda () (interactive) (insert "×")))