snippet ques
\\begin\{question}
$0
\\end\{question}
endsnippet
snippet proof
\\begin\{proof}
${0:%TODO}
\\end\{proof}
endsnippet
snippet claim
\\begin\{claim}
${0:%TODO}
\\end\{claim}
endsnippet
snippet lemma
\\begin\{lemma}
${0:%TODO}
\\end\{lemma}
endsnippet
snippet prop
\\begin\{proposition}
${0:%TODO}
\\end\{proposition}
endsnippet
snippet thm
\\begin\{theorem}
${0:%TODO}
\\end\{theorem}
endsnippet
snippet cont
continuous
endsnippet
snippet diff
differentiable
endsnippet
snippet ri
Riemann integrable
endsnippet
snippet irr
irrational
endsnippet