From 6933036abef62fb0741710c0c4bc7cb4f1d56a82 Mon Sep 17 00:00:00 2001
From: Michael Norrish <michael.norrish@anu.edu.au>
Date: Wed, 9 Aug 2023 15:39:27 +1000
Subject: [PATCH] =?UTF-8?q?emacs-mode:=20add=20hol-unicode=20keybinding=20?=
 =?UTF-8?q?for=20lower-case=20kappa=20(=CE=BA)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 tools/hol-unicode.el | 1 +
 1 file changed, 1 insertion(+)

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") "ν")