From 905ccfd632748ea2a53f894c23f59a84a2b1f79d Mon Sep 17 00:00:00 2001
From: tecosaur <20903656+tecosaur@users.noreply.github.com>
Date: Wed, 18 Mar 2020 01:16:39 +0800
Subject: [PATCH] Add proof-related yasnippets

---
 snippets/latex-mode/corollary  | 9 +++++++++
 snippets/latex-mode/definition | 9 +++++++++
 snippets/latex-mode/lemma      | 9 +++++++++
 snippets/latex-mode/proof      | 9 +++++++++
 snippets/latex-mode/theorem    | 9 +++++++++
 5 files changed, 45 insertions(+)
 create mode 100644 snippets/latex-mode/corollary
 create mode 100644 snippets/latex-mode/definition
 create mode 100644 snippets/latex-mode/lemma
 create mode 100644 snippets/latex-mode/proof
 create mode 100644 snippets/latex-mode/theorem

diff --git a/snippets/latex-mode/corollary b/snippets/latex-mode/corollary
new file mode 100644
index 0000000..a387402
--- /dev/null
+++ b/snippets/latex-mode/corollary
@@ -0,0 +1,9 @@
+# -*- mode: snippet -*-
+# name: corollary
+# uuid: corollary
+# key: cor
+# condition: t
+# --
+\begin{corollary}${1:[${2:name}]}
+  $0
+\end{corollary}
\ No newline at end of file
diff --git a/snippets/latex-mode/definition b/snippets/latex-mode/definition
new file mode 100644
index 0000000..b98ef0f
--- /dev/null
+++ b/snippets/latex-mode/definition
@@ -0,0 +1,9 @@
+# -*- mode: snippet -*-
+# name: definition
+# uuid: definition
+# key: def
+# condition: t
+# --
+\begin{definition}${1:[${2:name}]}
+  $0
+\end{definition}
\ No newline at end of file
diff --git a/snippets/latex-mode/lemma b/snippets/latex-mode/lemma
new file mode 100644
index 0000000..d8555f3
--- /dev/null
+++ b/snippets/latex-mode/lemma
@@ -0,0 +1,9 @@
+# -*- mode: snippet -*-
+# name: lemma
+# uuid: lemma
+# key: lem
+# condition: t
+# --
+\begin{lemma}${1:[${2:name}]}
+  $0
+\end{lemma}
\ No newline at end of file
diff --git a/snippets/latex-mode/proof b/snippets/latex-mode/proof
new file mode 100644
index 0000000..32087c2
--- /dev/null
+++ b/snippets/latex-mode/proof
@@ -0,0 +1,9 @@
+# -*- mode: snippet -*-
+# name: proof
+# uuid: proof
+# key: prf
+# condition: t
+# --
+\begin{proof}${1:[${2:name}]}
+  $0
+\end{proof}
\ No newline at end of file
diff --git a/snippets/latex-mode/theorem b/snippets/latex-mode/theorem
new file mode 100644
index 0000000..1b15d6c
--- /dev/null
+++ b/snippets/latex-mode/theorem
@@ -0,0 +1,9 @@
+# -*- mode: snippet -*-
+# name: theorem
+# uuid: theorem
+# key: thm
+# condition: t
+# --
+\begin{theorem}${1:[${2:name}]}
+  $0
+\end{theorem}
\ No newline at end of file