Close #4528 Use double bracket to render \ll(rr)bracket in MathJaX

James-Yu · Feb 13, 2025 · 3dc5dc6 · 3dc5dc6
1 parent 27be475
commit 3dc5dc6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/preview/hover/utils.ts b/src/preview/hover/utils.ts
@@ -15,6 +15,9 @@ export function mathjaxify(tex: string, envname: string, opt = { stripLabel: tru
     if (envname.match(/^(aligned|alignedat|array|Bmatrix|bmatrix|cases|CD|gathered|matrix|pmatrix|smallmatrix|split|subarray|Vmatrix|vmatrix)$/)) {
         s = '\\begin{equation}' + s + '\\end{equation}'
     }
+    // #4528
+    s = s.replace(/\\llbracket(?!\w)/g, '\\left[\\!\\left[')
+         .replace(/\\rrbracket(?!\w)/g, '\\right]\\!\\right]')
     return s
 }