From f3c167c601a1bab9cd784693032fd78692cfb7c3 Mon Sep 17 00:00:00 2001
From: Ron Kok <ronkok@comcast.net>
Date: Sun, 1 Jul 2018 15:53:29 -0700
Subject: [PATCH] Support Unicode corners (#1459)

* Support Unicode corners

* Fix \lrcorner
---
 src/macros.js      | 4 ++++
 test/katex-spec.js | 1 +
 2 files changed, 5 insertions(+)

diff --git a/src/macros.js b/src/macros.js
index c0e0d313..9c663967 100644
--- a/src/macros.js
+++ b/src/macros.js
@@ -320,6 +320,10 @@ defineMacro("\u225F", "\\stackrel{\\tiny?}{=}");
 defineMacro("\u27C2", "\\perp");
 defineMacro("\u203C", "\\mathclose{!\\mkern-0.8mu!}");
 defineMacro("\u220C", "\\notni");
+defineMacro("\u231C", "\\ulcorner");
+defineMacro("\u231D", "\\urcorner");
+defineMacro("\u231E", "\\llcorner");
+defineMacro("\u231F", "\\lrcorner");
 
 //////////////////////////////////////////////////////////////////////
 // LaTeX_2ε
diff --git a/test/katex-spec.js b/test/katex-spec.js
index 8071f03f..0db175bb 100644
--- a/test/katex-spec.js
+++ b/test/katex-spec.js
@@ -3064,6 +3064,7 @@ describe("Unicode", function() {
         expect("\\left\u27e8\\frac{a}{b}\\right\u27e9").toBuild();
         expect("\\left\u23b0\\frac{a}{b}\\right\u23b1").toBuild();
         expect("┌x┐ └x┘").toBuild();
+        expect("\u231Cx\u231D \u231Ex\u231F").toBuild();
     });
 
     it("should build some surrogate pairs", function() {