From f0070318544e602bc3482c03439c9c386455d439 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 7 Jul 2017 01:10:22 +0200
Subject: [PATCH] Added some characters

---
 unicode-chars.sty.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/unicode-chars.sty.rkt b/unicode-chars.sty.rkt
index 1311410e..18cce31d 100644
--- a/unicode-chars.sty.rkt
+++ b/unicode-chars.sty.rkt
@@ -350,5 +350,8 @@
 \DeclareUnicodeCharacter{21AA}{\ensuremath{\hookrightarrow}}%      ↪
 \DeclareUnicodeCharacter{2204}{\ensuremath{\nexists}}%             ∄
 \DeclareUnicodeCharacter{3C6}{\ensuremath{\phi}}%                  φ
+\DeclareUnicodeCharacter{3BA}{\ensuremath{\kappa}}%                κ
+\DeclareUnicodeCharacter{3B7}{\ensuremath{\eta}}%                  η
+\DeclareUnicodeCharacter{22A4}{\ensuremath{\top}}%                 ⊤
 \makeatother
 }>>>|)
\ No newline at end of file