6 lines
97 B
Plaintext
6 lines
97 B
Plaintext
# key: VV
|
|
# name: forall
|
|
# condition: (and (texmathp) (quote auto))
|
|
# group: math
|
|
# --
|
|
\\forall$0 |