# key: =>
# name: implies
# condition: (and (texmathp) (quote auto))
# group: math
# --
\implies$0