From b17206f2700c6e6d8572e42d20e20295bf789bff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Mon, 5 Jun 2017 17:20:27 +0200
Subject: [PATCH] =?UTF-8?q?Added=20=E2=88=8C=20character?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 katex-convert-unicode.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/katex-convert-unicode.rkt b/katex-convert-unicode.rkt
index 46999f3de..439235faa 100644
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@@ -95,5 +95,6 @@
          [… "\\ldots"]
          [⋯ "\\cdots"]
          [⋰ "\\uddots"] ;; or \iddots from package mathdots, see http://tex.stackexchange.com/a/17650
-         [⋱ "\\ddots"]))
+         [⋱ "\\ddots"]
+         [∌ "\\notni"]))
       str))
\ No newline at end of file