Support double-square curly braces (#1953)

* Support double-square curly braces

Signed-off-by: ice1000 <ice1000kotlin@foxmail.com>

* Rename `llbrace` to `lBrace`

* Address comments: add mathml

* Fix code style

* Fix doc

* Add to docs/support_table
This commit is contained in:
Tesla_Ice_Zhang
2019-04-25 10:23:00 -04:00
committed by Ron Kok
parent 2d066097ad
commit 6bb312f687
4 changed files with 14 additions and 1 deletions

View File

@@ -849,6 +849,16 @@ defineMacro("\\rrbracket", "\\html@mathml{" +
defineMacro("\u27e6", "\\llbracket"); // blackboard bold [
defineMacro("\u27e7", "\\rrbracket"); // blackboard bold ]
defineMacro("\\lBrace", "\\html@mathml{" +
"\\mathopen{\\{\\mkern-3.2mu[}}" +
"{\\mathopen{\\char`\u2983}}");
defineMacro("\\rBrace", "\\html@mathml{" +
"\\mathclose{]\\mkern-3.2mu\\}}}" +
"{\\mathclose{\\char`\u2984}}");
defineMacro("\u2983", "\\lBrace"); // blackboard bold {
defineMacro("\u2984", "\\rBrace"); // blackboard bold }
// TODO: Create variable sized versions of the last two items. I believe that
// will require new font glyphs.