This commit is contained in:
Zelong Kuang
2025-12-14 09:04:11 +11:00
parent 2321eb603b
commit 753ea5ea48
185 changed files with 1608 additions and 18 deletions

View File

@@ -0,0 +1,6 @@
# key: VV
# name: forall
# condition: (and (texmathp) (quote auto))
# group: math
# --
\\forall$0