From 46e7ece370c5c4b19498d681ce7c2024d62b3514 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Tue, 25 Jul 2017 13:57:26 +0200 Subject: [PATCH] =?UTF-8?q?Added=20=E2=88=A9=20=E2=88=AA?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- katex-convert-unicode.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/katex-convert-unicode.rkt b/katex-convert-unicode.rkt index 4b7630731..11f606c9a 100644 --- a/katex-convert-unicode.rkt +++ b/katex-convert-unicode.rkt @@ -107,6 +107,8 @@ [″ "{}''"] [‴ "{}'''"] [⁗ "{}''''"] + [∪ "\\cup"] + [∩ "\\cap"] [⋃ "\\bigcup{}"] [⋂ "\\bigcap{}"] [⋀ "\\bigwedge{}"]