benji / snippets-tex
snippet claim
\\begin\{claim}
$0
\\end\{claim}
endsnippet
snippet lemma
\\begin\{lemma}
$0
\\end\{lemma}
endsnippet
snippet proof
\\begin\{proof}
${0:%TODO}
\\end\{proof}
endsnippet
snippet prop
\\begin\{proposition}
$0
\\end\{proposition}
endsnippet
snippet ques
\\begin\{question}
$0
\\end\{question}
endsnippet
snippet thm
\\begin\{theorem}
$0
\\end\{theorem}
endsnippet