Disambiguate prime after ⁺ and ⁻

2017-07-21 03:54:53 +02:00 · 2017-07-21 03:54:53 +02:00 · a762046efa
commit a762046efa
parent d4e21dff28
1 changed files with 5 additions and 4 deletions
--- a/katex-convert-unicode.rkt
+++ b/katex-convert-unicode.rkt
@ -102,10 +102,11 @@
      [∌ "\\notni{}"]
      [ℰ "\\mathcal{E}"]
      [• "\\bullet{}"]
-      [′ "'"]
-      [″ "''"]
-      [‴ "'''"]
-      [⁗ "''''"]
+      [|'| "{}'"]
+      [′ "{}'"]
+      [″ "{}''"]
+      [‴ "{}'''"]
+      [⁗ "{}''''"]
      [⋃ "\\bigcup{}"]
      [⋂ "\\bigcap{}"]
      [⋀ "\\bigwedge{}"]