feat(snippets): Add double square brackets snippet

2026-04-24 11:52:35 +02:00
parent 2b3b2c5996
commit 9423b98d5f
1 changed files with 6 additions and 0 deletions
@@ -332,6 +332,12 @@
            "\\langle $1 \\rangle"
        ]
    },
+    "dblbrackets": {
+        "prefix": "dblbrackets",
+        "body": [
+            "\\llbracket $1 \\rrbracket"
+        ]
+    },
    "fill-width": {
        "prefix": "#fill",
        "body": [