From 0b9e7188ae169785c67dc7609afc1786512a44ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 14 Jul 2017 02:15:56 +0200
Subject: [PATCH] Added a unicode character
---
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 71c9dd123..d65e9e246 100644
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@@ -100,5 +100,6 @@
[⋯ "\\cdots"]
[⋰ "\\uddots"] ;; or \iddots from package mathdots, see http://tex.stackexchange.com/a/17650
[⋱ "\\ddots"]
- [∌ "\\notni"]))
+ [∌ "\\notni"]
+ [ℰ "\\mathcal{E}"]))
str))
\ No newline at end of file