From 2879b472af9494169bde0e101bd866c0b5b0f385 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 19 Jul 2017 00:32:54 +0200 Subject: [PATCH] =?UTF-8?q?Added=20=E2=80=A2=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 97d165c5a..29b7f7a16 100644 --- a/katex-convert-unicode.rkt +++ b/katex-convert-unicode.rkt @@ -103,5 +103,6 @@ [⋱ "\\ddots{}"] [∌ "\\notni{}"] [ℰ "\\mathcal{E}"] + [• "\\bullet"] )) str)) \ No newline at end of file