Edit \lbrack and \rbrack (#1420)

This commit is contained in:
Ron Kok
2018-06-10 09:43:23 -07:00
committed by Erik Demaine
parent 8b1e1b4886
commit 954ddf4172
4 changed files with 6 additions and 8 deletions

View File

@@ -219,12 +219,12 @@ const makeStackedDelim = function(
top = "\\Uparrow";
repeat = "\u2016";
bottom = "\\Downarrow";
} else if (delim === "[") {
} else if (delim === "[" || delim === "\\lbrack") {
top = "\u23a1";
repeat = "\u23a2";
bottom = "\u23a3";
font = "Size4-Regular";
} else if (delim === "]") {
} else if (delim === "]" || delim === "\\rbrack") {
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",