This commit is contained in:
Zelong Kuang
2025-10-22 14:20:19 +11:00
parent 8c11269da8
commit e4013c2193
11 changed files with 354 additions and 300 deletions

View File

@@ -101,5 +101,13 @@ return {
}
),
{ condition = line_begin }
)
),
s(
{ trig = "defop" },
fmta("#let <> = math.op(\"<>\")", {
i(1),
rep(1),
}),
{ condition = tex.in_mathzone }
),
}