From 690285ad4b396e6f188151f2d9e6e9a4a20487a6 Mon Sep 17 00:00:00 2001
From: Ron Kok <ronkok@comcast.net>
Date: Sat, 9 Jun 2018 09:51:59 -0700
Subject: [PATCH] Remove redundant \lbrack and \rbrack (#1416)

* Remove redundant \lbrack and \rbrack

* Revert macros. Remove redundant code.

* Revert symbols
---
 src/delimiter.js             | 6 +++---
 src/functions/delimsizing.js | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/delimiter.js b/src/delimiter.js
index f7c88fe4..ef743ebd 100644
--- a/src/delimiter.js
+++ b/src/delimiter.js
@@ -219,12 +219,12 @@ const makeStackedDelim = function(
         top = "\\Uparrow";
         repeat = "\u2016";
         bottom = "\\Downarrow";
-    } else if (delim === "[" || delim === "\\lbrack") {
+    } else if (delim === "[") {
         top = "\u23a1";
         repeat = "\u23a2";
         bottom = "\u23a3";
         font = "Size4-Regular";
-    } else if (delim === "]" || delim === "\\rbrack") {
+    } else if (delim === "]") {
         top = "\u23a4";
         repeat = "\u23a5";
         bottom = "\u23a6";
@@ -480,7 +480,7 @@ const makeSqrtImage = function(
 // There are three kinds of delimiters, delimiters that stack when they become
 // too large
 const stackLargeDelimiters = [
-    "(", ")", "[", "\\lbrack", "]", "\\rbrack",
+    "(", ")", "[", "]",
     "\\{", "\\lbrace", "\\}", "\\rbrace",
     "\\lfloor", "\\rfloor", "\u230a", "\u230b",
     "\\lceil", "\\rceil", "\u2308", "\u2309",
diff --git a/src/functions/delimsizing.js b/src/functions/delimsizing.js
index 5390ee25..d916d385 100644
--- a/src/functions/delimsizing.js
+++ b/src/functions/delimsizing.js
@@ -35,7 +35,7 @@ const delimiterSizes = {
 };
 
 const delimiters = [
-    "(", ")", "[", "\\lbrack", "]", "\\rbrack",
+    "(", ")", "[", "]",
     "\\{", "\\lbrace", "\\}", "\\rbrace",
     "\\lfloor", "\\rfloor", "\u230a", "\u230b",
     "\\lceil", "\\rceil", "\u2308", "\u2309",