emacs-mode: add hol-unicode keybinding for lower-case kappa (κ)

HOL-Theorem-Prover · Aug 9, 2023 · 6933036 · 6933036
1 parent 4ad06b8
commit 6933036
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/hol-unicode.el b/tools/hol-unicode.el
@@ -65,6 +65,7 @@
 (global-set-key (kbd "C-S-d") "δ")
 (global-set-key (kbd "C-S-e") "ε")
 (global-set-key (kbd "C-S-h") "χ")
+(global-set-key (kbd "C-S-k") "κ")
 (global-set-key (kbd "C-S-l") "λ")
 (global-set-key (kbd "C-S-m") "μ")
 (global-set-key (kbd "C-S-n") "ν")