Added ∌ character

2017-06-05 17:20:27 +02:00 · 2017-06-05 17:20:27 +02:00 · b17206f270
commit b17206f270
parent a088aa8def
1 changed files with 2 additions and 1 deletions
--- 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))