(delim, size, options, mode, classes)
| 8375 | */ |
| 8376 | |
| 8377 | const makeSizedDelim = function makeSizedDelim(delim, size, options, mode, classes) { |
| 8378 | // < and > turn into \langle and \rangle in delimiters |
| 8379 | if (delim === "<" || delim === "\\lt" || delim === "\u27e8") { |
| 8380 | delim = "\\langle"; |
| 8381 | } else if (delim === ">" || delim === "\\gt" || delim === "\u27e9") { |
| 8382 | delim = "\\rangle"; |
| 8383 | } // Sized delimiters are never centered. |
| 8384 | |
| 8385 | |
| 8386 | if (utils.contains(stackLargeDelimiters, delim) || utils.contains(stackNeverDelimiters, delim)) { |
| 8387 | return makeLargeDelim(delim, size, false, options, mode, classes); |
| 8388 | } else if (utils.contains(stackAlwaysDelimiters, delim)) { |
| 8389 | return makeStackedDelim(delim, sizeToMaxHeight[size], false, options, mode, classes); |
| 8390 | } else { |
| 8391 | throw new ParseError("Illegal delimiter: '" + delim + "'"); |
| 8392 | } |
| 8393 | }; |
| 8394 | /** |
| 8395 | * There are three different sequences of delimiter sizes that the delimiters |
| 8396 | * follow depending on the kind of delimiter. This is used when creating custom |
nothing calls this directly
no test coverage detected