From f1f53d69b4ff0948452ab4c5f847fdad3c795f0b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 23 Aug 2017 00:01:01 +0200 Subject: [PATCH] =?UTF-8?q?Adjust=20spacing=20around=20=E2=9D=AC=20and=20?= =?UTF-8?q?=E2=9D=AD=20in=20MathJax=20mode?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- mathjax-convert-unicode.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/mathjax-convert-unicode.rkt b/mathjax-convert-unicode.rkt index 6d07af374..faa1f71db 100644 --- a/mathjax-convert-unicode.rkt +++ b/mathjax-convert-unicode.rkt @@ -20,5 +20,10 @@ [▷ "\\triangleright"] [∄ "\\nexists"] [≠ "\\neq"] - )) + [❬ ,(string-append + "\\ifmathjax{\\hspace{-0.15ex}\\unicode{x276C}\\hspace{-0.15ex}}" + "\\iflatex{❬}")] + [❭ ,(string-append + "\\ifmathjax{\\hspace{-0.15ex}\\unicode{x276D}\\hspace{-0.15ex}}" + "\\iflatex{❭}")])) (katex-convert-unicode str* mathmode? more-sym→*)) \ No newline at end of file