diff --git a/.config/nvim/UltiSnips/lean3.snippets b/.config/nvim/UltiSnips/lean3.snippets
new file mode 100644
index 0000000..4b8106e
--- /dev/null
+++ b/.config/nvim/UltiSnips/lean3.snippets
@@ -0,0 +1,23 @@
+snippet \and "and" A
+∧
+endsnippet
+
+snippet \or "and" A
+∨
+endsnippet
+
+snippet \neg "not" A
+¬
+endsnippet
+
+snippet \to "\to ->" A
+→
+endsnippet
+
+snippet \iff "\iff <->" A
+↔
+endsnippet
+
+snippet \forall "forrall" A
+∀
+endsnippet
diff --git a/.config/nvim/UltiSnips/tex.snippets b/.config/nvim/UltiSnips/tex.snippets
new file mode 100644
index 0000000..573feb9
--- /dev/null
+++ b/.config/nvim/UltiSnips/tex.snippets
@@ -0,0 +1,14 @@
+snippet fig "figure" 
+\begin{figure}
+	\centering
+	\includegraphics[width=.8\textwidth]{$1}
+	\caption{$3}
+	\label{$2}
+\end{figure}
+endsnippet
+
+snippet \beg "\begin{}...\end{}"
+\begin{$1}
+	$0
+\end{$1}
+endsnippet