Added some characters

2017-07-21 19:01:15 +02:00 · 2017-07-21 19:01:15 +02:00 · a53f9e9b02
commit a53f9e9b02
parent e2cd9520cb
2 changed files with 4 additions and 0 deletions
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@ -112,6 +112,9 @@
      [⋀ "\\bigwedge{}"]
      [⋁ "\\bigvee{}"]
      [± "\\pm{}"]
+      [≟ "\\stackrel{?}{=}"]
+      [≛ "\\stackrel{*}{=}"]
+      [≝ "\\stackrel{\\scriptscriptstyle\\mathsf{def}}{=}"]
      ))
  (if (string? str)
      (string-replace*
--- a/mathjax-convert-unicode.rkt
+++ b/mathjax-convert-unicode.rkt
@ -17,5 +17,6 @@
      ;; TODO:
      [❲ "\\ifmathjax{\\unicode{x2772}}\\iflatex{❲}"]
      [❳ "\\ifmathjax{\\unicode{x2773}}\\iflatex{❳}"]
+      [φ "\\phi"]
      ))
  (katex-convert-unicode str* mathmode? more-sym→*))