Added some characters

2017-07-07 01:37:00 +02:00 · 2017-07-07 01:37:00 +02:00 · 295828badf
commit 295828badf
parent f007031854
1 changed files with 4 additions and 0 deletions
--- 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
 }>>>|)