This commit is contained in:
Zelong Kuang
2025-10-17 20:03:30 +11:00
parent 68da8f5a24
commit 8c11269da8
20 changed files with 131 additions and 211 deletions

View File

@@ -42,6 +42,13 @@ return {
}),
{ condition = tex.in_mathzone }
),
s(
{ trig = "norm", snippetType = "autosnippet" },
fmta("norm(<>)", {
i(1),
}),
{ condition = tex.in_mathzone }
),
s(
{ trig = "bar", snippetType = "autosnippet" },
fmta("overline(<>)", {