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