From 295828badfe20e595bee2319eba98b45fc530cad 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:37:00 +0200
Subject: [PATCH] Added some characters

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

diff --git a/unicode-chars.sty.rkt b/unicode-chars.sty.rkt
index 18cce31d..9826f81e 100644
--- a/unicode-chars.sty.rkt
+++ b/unicode-chars.sty.rkt
@@ -353,5 +353,9 @@
 \DeclareUnicodeCharacter{3BA}{\ensuremath{\kappa}}%                κ
 \DeclareUnicodeCharacter{3B7}{\ensuremath{\eta}}%                  η
 \DeclareUnicodeCharacter{22A4}{\ensuremath{\top}}%                 ⊤
+\DeclareUnicodeCharacter{3C0}{\ensuremath{\pi}}%                   π
+\DeclareUnicodeCharacter{3A0}{\ensuremath{\Pi}}%                   Π
+\DeclareUnicodeCharacter{2216}{\ensuremath{\setminus}}%            ∖
+\DeclareUnicodeCharacter{22A5}{\ensuremath{\bot}}%                 ⊥
 \makeatother
 }>>>|)
\ No newline at end of file