diff --git a/tools/hol-unicode.el b/tools/hol-unicode.el
index caac750a18..9d3945777a 100644
--- 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") "ν")