-a

yashamon · Apr 29, 2015 · 925a253 · 925a253
1 parent bafd6b6
commit 925a253
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/UltiSnips/tex.snippets b/UltiSnips/tex.snippets
@@ -157,10 +157,16 @@ snippet label "\\label{}" w
 \label{$1}$0
 endsnippet
 snippet eqnum "equation" 
-\begin{equation} \label{$1}
+\begin{equation} \label{eq:$1}
 $0
 \end{equation}
 endsnippet
+
+snippet proof "proof" 
+\begin{proof} [Proof of \ref{$1}]
+$0
+\end{proof}
+endsnippet
 snippet eq "equation*" 
 \begin{equation*}
 $0