From 2cd37ae7c36d6335c5bad1d03e6a50724a6ab191 Mon Sep 17 00:00:00 2001
From: Ron Kok <ronkok@comcast.net>
Date: Sun, 20 Jan 2019 09:38:14 -0800
Subject: [PATCH] Fix Unicode bigcup (#1836)

---
 src/functions/op.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/functions/op.js b/src/functions/op.js
index 64574dee..6600b35e 100644
--- a/src/functions/op.js
+++ b/src/functions/op.js
@@ -273,7 +273,7 @@ const singleCharBigOps: {[string]: string} = {
     "\u22c0": "\\bigwedge",
     "\u22c1": "\\bigvee",
     "\u22c2": "\\bigcap",
-    "\u22c3": "\\bigcap",
+    "\u22c3": "\\bigcup",
     "\u2a00": "\\bigodot",
     "\u2a01": "\\bigoplus",
     "\u2a02": "\\bigotimes",