# -*- mode: snippet -*-
# name: implied by
# key: <=
# condition: (and (texmathp) 'auto)
# group: math
# --
\\impliedby $0