From 063604d4a2b38d25cc7fd68a2172206ac895a594 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Thu, 24 Aug 2017 10:14:48 +0200
Subject: [PATCH] =?UTF-8?q?Adjusted=20spacing=20around=20=E2=9D=AC=20and?=
 =?UTF-8?q?=20=E2=9D=AD?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 mathjax-convert-unicode.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mathjax-convert-unicode.rkt b/mathjax-convert-unicode.rkt
index faa1f71db..29ccd8d86 100644
--- a/mathjax-convert-unicode.rkt
+++ b/mathjax-convert-unicode.rkt
@@ -21,9 +21,9 @@
       [∄ "\\nexists"]
       [≠ "\\neq"]
       [❬ ,(string-append
-           "\\ifmathjax{\\hspace{-0.15ex}\\unicode{x276C}\\hspace{-0.15ex}}"
+           "\\ifmathjax{\\hspace{-0.2ex}\\unicode{x276C}\\hspace{-0.2ex}}"
            "\\iflatex{❬}")]
       [❭ ,(string-append
-           "\\ifmathjax{\\hspace{-0.15ex}\\unicode{x276D}\\hspace{-0.15ex}}"
+           "\\ifmathjax{\\hspace{-0.2ex}\\unicode{x276D}\\hspace{-0.2ex}}"
            "\\iflatex{❭}")]))
   (katex-convert-unicode str* mathmode? more-sym→*))
\ No newline at end of file