From 4ff7b86c8964e6002523dccaf3796720e3ebc298 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Wed, 16 Aug 2017 12:47:46 +0200
Subject: [PATCH] =?UTF-8?q?Added=20=E2=9D=AC,=20=E2=9D=AD,=20=E2=9D=B0=20a?=
 =?UTF-8?q?nd=20=E2=9D=B1?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/unicode-chars.sty.rkt b/unicode-chars.sty.rkt
index 46ba7a0e..ed2e3b76 100644
--- a/unicode-chars.sty.rkt
+++ b/unicode-chars.sty.rkt
@@ -363,5 +363,45 @@
 \DeclareUnicodeCharacter{3B2}{\ensuremath{\beta}}%                 β
 \DeclareUnicodeCharacter{2772}{\tikz[baseline=0.2ex]\draw[line cap=round] (0,0) ++(-30:0.7ex) -- ++(-30:-0.7ex) -- ++(0,1.6ex) -- ++(30:0.7ex) {};}%           ❲
 \DeclareUnicodeCharacter{2773}{\tikz[baseline=0.2ex]\draw[line cap=round] (0,0) ++(-150:0.7ex) -- ++(-150:-0.7ex) -- ++(0,1.6ex) -- ++(150:0.7ex) {};}%        ❳
+\def\mediumlangle{%
+  \rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt%
+  \langle%
+}
+\def\mediumrangle{%
+  \rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt%
+  \rangle%
+}
+\def\boldlangle{%
+  \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt%
+  \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt%
+  \langle%
+}
+\def\boldrangle{%
+  \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt%
+  \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt%
+  \rangle%
+}
+\DeclareUnicodeCharacter{276C}{\ensuremath{\mediumlangle}}%        ❬
+\DeclareUnicodeCharacter{276D}{\ensuremath{\mediumrangle}}%        ❭
+\DeclareUnicodeCharacter{2770}{\ensuremath{\boldlangle}}%          ❰
+\DeclareUnicodeCharacter{2771}{\ensuremath{\boldrangle}}%          ❱
 \makeatother
 }>>>|)
\ No newline at end of file