diff --git a/src/macros.js b/src/macros.js index 2e1ec427..8fa26955 100644 --- a/src/macros.js +++ b/src/macros.js @@ -846,7 +846,7 @@ defineMacro("\\rrbracket", "\\html@mathml{" + "\\mathclose{]\\mkern-3.2mu]}}" + "{\\mathclose{\\char`\u27e7}}"); -defineMacro("\u27e6", "\\llbracket"); // blackboard bold [ +defineMacro("\u27e6", "\\llbracket"); // blackboard bold [ defineMacro("\u27e7", "\\rrbracket"); // blackboard bold ] // TODO: Create variable sized versions of the last two items. I believe that diff --git a/src/symbols.js b/src/symbols.js index f6f72376..0b016edf 100644 --- a/src/symbols.js +++ b/src/symbols.js @@ -625,8 +625,6 @@ defineSymbol(math, main, open, "[", "\\lbrack"); defineSymbol(text, main, textord, "[", "\\lbrack"); defineSymbol(math, main, close, "]", "\\rbrack"); defineSymbol(text, main, textord, "]", "\\rbrack"); -defineSymbol(math, main, open, "\u27e6", "\\llbracket", true); -defineSymbol(math, main, close, "\u27e7", "\\rrbracket", true); defineSymbol(math, main, open, "(", "\\lparen"); defineSymbol(math, main, close, ")", "\\rparen"); defineSymbol(text, main, textord, "<", "\\textless"); // in T1 fontenc