Added ⋅ character

2017-08-11 11:20:52 +02:00 · 2017-08-11 11:20:52 +02:00 · a21c1e783f
commit a21c1e783f
parent 11b6094d38
1 changed files with 1 additions and 0 deletions
--- 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*