From a762046efa30304a19eedc800af6dd63b59bf899 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 21 Jul 2017 03:54:53 +0200
Subject: [PATCH] =?UTF-8?q?Disambiguate=20prime=20after=20=E2=81=BA=20and?=
 =?UTF-8?q?=20=E2=81=BB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/katex-convert-unicode.rkt b/katex-convert-unicode.rkt
index c4fd336d3..2862e263a 100644
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@@ -102,10 +102,11 @@
       [∌ "\\notni{}"]
       [ℰ "\\mathcal{E}"]
       [• "\\bullet{}"]
-      [′ "'"]
-      [″ "''"]
-      [‴ "'''"]
-      [⁗ "''''"]
+      [|'| "{}'"]
+      [′ "{}'"]
+      [″ "{}''"]
+      [‴ "{}'''"]
+      [⁗ "{}''''"]
       [⋃ "\\bigcup{}"]
       [⋂ "\\bigcap{}"]
       [⋀ "\\bigwedge{}"]