6 lines
98 B
Plaintext
6 lines
98 B
Plaintext
|
# key: =>
|
||
|
|
# name: implies
|
||
|
|
# condition: (and (texmathp) (quote auto))
|
||
|
|
# group: math
|
||
|
|
# --
|
||
|
|
\implies$0
|