Add symbol "double vertical line", close #22

golopot · Apr 6, 2022 · 8b69495 · 8b69495
1 parent 939de5f
commit 8b69495
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/symbols.js b/lib/symbols.js
@@ -214,6 +214,7 @@ const symbolsStr = `
   \\rfloor	⌋
   \\lceil	⌈
   \\rceil	⌉
+  \\|	‖
 
   # Blackboard Bold, Fraktur
   \\mathbb{a}	𝕒	\\mathbb{A}	𝔸