From a53f9e9b02cd23fdad5f389d13d03487989047a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 21 Jul 2017 19:01:15 +0200
Subject: [PATCH] Added some characters

---
 katex-convert-unicode.rkt   | 3 +++
 mathjax-convert-unicode.rkt | 1 +
 2 files changed, 4 insertions(+)

diff --git a/katex-convert-unicode.rkt b/katex-convert-unicode.rkt
index 2862e263a..4b7630731 100644
--- 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*
diff --git a/mathjax-convert-unicode.rkt b/mathjax-convert-unicode.rkt
index 335b04de1..9bf854902 100644
--- 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→*))
\ No newline at end of file