diff --git a/src/delimiter.js b/src/delimiter.js index 91e52f212..f94fa9bab 100644 --- a/src/delimiter.js +++ b/src/delimiter.js @@ -217,6 +217,26 @@ var makeStackedDelim = function(delim, heightTotal, center, options, mode) { bottom = "\u23ad"; repeat = "\u23aa"; font = "Size4-Regular"; + } else if (delim === "\\lgroup") { + top = "\u23a7"; + bottom = "\u23a9"; + repeat = "\u23aa"; + font = "Size4-Regular"; + } else if (delim === "\\rgroup") { + top = "\u23ab"; + bottom = "\u23ad"; + repeat = "\u23aa"; + font = "Size4-Regular"; + } else if (delim === "\\lmoustache") { + top = "\u23a7"; + bottom = "\u23ad"; + repeat = "\u23aa"; + font = "Size4-Regular"; + } else if (delim === "\\rmoustache") { + top = "\u23ab"; + bottom = "\u23a9"; + repeat = "\u23aa"; + font = "Size4-Regular"; } else if (delim === "\\surd") { top = "\ue001"; bottom = "\u23b7"; @@ -312,7 +332,9 @@ var stackLargeDelimiters = [ var stackAlwaysDelimiters = [ "\\uparrow", "\\downarrow", "\\updownarrow", "\\Uparrow", "\\Downarrow", "\\Updownarrow", - "|", "\\|", "\\vert", "\\Vert" + "|", "\\|", "\\vert", "\\Vert", + "\\lvert", "\\rvert", "\\lVert", "\\rVert", + "\\lgroup", "\\rgroup", "\\lmoustache", "\\rmoustache" ]; // and delimiters that never stack diff --git a/src/functions.js b/src/functions.js index 9b1d2a4ef..6f6a1792b 100644 --- a/src/functions.js +++ b/src/functions.js @@ -205,6 +205,8 @@ var delimiters = [ "\\{", "\\lbrace", "\\}", "\\rbrace", "\\lfloor", "\\rfloor", "\\lceil", "\\rceil", "<", ">", "\\langle", "\\rangle", + "\\lvert", "\\rvert", "\\lVert", "\\rVert", + "\\lgroup", "\\rgroup", "\\lmoustache", "\\rmoustache", "/", "\\backslash", "|", "\\vert", "\\|", "\\Vert", "\\uparrow", "\\Uparrow", diff --git a/src/symbols.js b/src/symbols.js index b5d8f6cf4..62b9ecb29 100644 --- a/src/symbols.js +++ b/src/symbols.js @@ -1947,6 +1947,11 @@ var symbols = { group: "open", replace: "\u2223" }, + "\\lVert": { + font: "main", + group: "open", + replace: "\u2225" + }, ")": { font: "main", group: "close" @@ -1973,6 +1978,11 @@ var symbols = { group: "close", replace: "\u2223" }, + "\\rVert": { + font: "main", + group: "close", + replace: "\u2225" + }, "=": { font: "main", group: "rel"