9 lines
199 B
Plaintext
9 lines
199 B
Plaintext
|
# -*- mode: snippet -*-
|
||
|
|
# name: proof
|
||
|
|
# key: prf
|
||
|
|
# condition: (or (= (current-column) 3) (= (current-column) 0))
|
||
|
|
# contributor: Rafael Villarroel (rvf0068@gmail.com)
|
||
|
|
# --
|
||
|
|
#+BEGIN_PROOF
|
||
|
|
$0
|
||
|
|
#+END_PROOF
|