Added a unicode character

2017-07-14 02:15:56 +02:00 · 2017-07-14 02:15:56 +02:00 · 0b9e7188ae
commit 0b9e7188ae
parent 140a703e9e
1 changed files with 2 additions and 1 deletions
--- 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))