(delim, size, options, mode, classes)
| 8500 | */ |
| 8501 | |
| 8502 | var delimiter_makeSizedDelim = function makeSizedDelim(delim, size, options, mode, classes) { |
| 8503 | // < and > turn into \langle and \rangle in delimiters |
| 8504 | if (delim === "<" || delim === "\\lt" || delim === "\u27E8") { |
| 8505 | delim = "\\langle"; |
| 8506 | } else if (delim === ">" || delim === "\\gt" || delim === "\u27E9") { |
| 8507 | delim = "\\rangle"; |
| 8508 | } // Sized delimiters are never centered. |
| 8509 | |
| 8510 | |
| 8511 | if (utils.contains(stackLargeDelimiters, delim) || utils.contains(stackNeverDelimiters, delim)) { |
| 8512 | return delimiter_makeLargeDelim(delim, size, false, options, mode, classes); |
| 8513 | } else if (utils.contains(stackAlwaysDelimiters, delim)) { |
| 8514 | return delimiter_makeStackedDelim(delim, sizeToMaxHeight[size], false, options, mode, classes); |
| 8515 | } else { |
| 8516 | throw new src_ParseError("Illegal delimiter: '" + delim + "'"); |
| 8517 | } |
| 8518 | }; |
| 8519 | /** |
| 8520 | * There are three different sequences of delimiter sizes that the delimiters |
| 8521 | * follow depending on the kind of delimiter. This is used when creating custom |
nothing calls this directly
no test coverage detected