Initial commit

This commit is contained in:
Zelong Kuang
2025-11-16 15:47:31 +11:00
commit aa7fa9511c
173 changed files with 1715 additions and 0 deletions

View File

@@ -0,0 +1,6 @@
# key: iff
# name: if and only if
# condition: (and (texmathp) (quote auto))
# group: math
# --
\iff