From 31d4d96016ffcc9629878b7887cf08fed9637ed6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Mon, 21 Aug 2017 22:19:29 +0200
Subject: [PATCH] =?UTF-8?q?Added=20=CF=B1?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 katex-convert-unicode.rkt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/katex-convert-unicode.rkt b/katex-convert-unicode.rkt
index 1a3a5f73b..44444eb51 100644
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@@ -123,8 +123,9 @@
       [≟ "\\stackrel{?}{=}"]
       [≛ "\\stackrel{*}{=}"]
       [≝ "\\stackrel{\\scriptscriptstyle\\mathsf{def}}{=}"]
-      [∃ "\\exists{}"]
-      [⋅ "\\cdot"]
+      [∃ "\\exists{}" "\\ensuremath{\\exists}"]
+      [⋅ "\\cdot{}" "\\ensuremath{\\cdot}"]
+      [ϱ "\\varrho{}" "\\ensuremath{\\varrho}"]
       ))
   (if (string? str)
       (string-replace*