Make \\| work

golopot · Apr 6, 2022 · 1742709 · 1742709
1 parent 8b69495
commit 1742709
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/lib/parser.js b/lib/parser.js
@@ -87,7 +87,7 @@ const Lang = Parsimmon.createLanguage({
       .thru(makeNode('UnaryMacro')),
 
   NullaryMacro: () =>
-    Parsimmon.regexp(/\\[a-zA-Z]+/)
+    Parsimmon.alt(Parsimmon.regexp(/\\[a-zA-Z]+/), Parsimmon.regexp(/\\\|/))
       .map((x) => {
         return {
           macro: x,

diff --git a/lib/symbols.js b/lib/symbols.js
@@ -12,7 +12,7 @@ function preprocess(obj) {
       res[key] = obj[key];
     } else if (/^\\not(.*)$/.test(key)) {
       res[key] = obj[key];
-    } else if (/^[_^](.*)$/.test(key)) {
+    } else if (/^[_^](.*)$/.test(key) || key === '\\|') {
       res[key] = obj[key];
     } else {
       throw new Error(`Symbol table does not allow this key: ${key}`);

diff --git a/test/index.spec.js b/test/index.spec.js
@@ -72,6 +72,10 @@ const testCases = [
     tex: '\\mathbb\\alpha',
     out: '\\mathbb\\alpha',
   },
+  {
+    tex: '\\|',
+    out: '‖',
+  },
 ];
 
 describe('convertText', () => {