From 11225458c6a2db925eb9e062f240c3b6c1598224 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 24 Apr 2026 11:51:42 +0200 Subject: [PATCH] feat(snippets): Add for double brackets --- vscode-snippets/tex.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/vscode-snippets/tex.json b/vscode-snippets/tex.json index f940343..302303b 100755 --- a/vscode-snippets/tex.json +++ b/vscode-snippets/tex.json @@ -332,6 +332,12 @@ "\\langle $1 \\rangle" ] }, + "dblbrackets": { + "prefix": "dblbrackets", + "body": [ + "\\llbracket $1 \\rrbracket" + ] + }, "fill-width": { "prefix": "#fill", "body": [