feat(snippets): Add for double brackets

2026-04-24 11:51:42 +02:00
parent 0774a96f2b
commit 11225458c6
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": [