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": [