From a21c1e783fefdc7d036a1a7922005b2e03925b44 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 11 Aug 2017 11:20:52 +0200
Subject: [PATCH] =?UTF-8?q?Added=20=E2=8B=85=20character?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 katex-convert-unicode.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/katex-convert-unicode.rkt b/katex-convert-unicode.rkt
index 0e43824df..29917f55a 100644
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@@ -119,6 +119,7 @@
       [≛ "\\stackrel{*}{=}"]
       [≝ "\\stackrel{\\scriptscriptstyle\\mathsf{def}}{=}"]
       [∃ "\\exists{}"]
+      [⋅ "\\cdot"]
       ))
   (if (string? str)
       (string-replace*