Skip to content

Commit 8860c84

Browse files
committed
Add theorem environments snippets to latex
These environments are only valid as long as the user defined them, using \newtheorem{theorem}, \newtheorem{lemma}... and as such I've given them the 'theorem' group.
1 parent fb2b6fd commit 8860c84

File tree

8 files changed

+64
-0
lines changed

8 files changed

+64
-0
lines changed

latex-mode/axiom

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: axiom
3+
# key: axm
4+
# group: theorems
5+
# --
6+
\begin{axiom}
7+
`%`$0
8+
\end{axiom}

latex-mode/corollary

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: corollary
3+
# key: clr
4+
# group: theorems
5+
# --
6+
\begin{corollary}
7+
`%`$0
8+
\end{corollary}

latex-mode/definition

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: definition
3+
# key: def
4+
# group: theorems
5+
# --
6+
\begin{definition}
7+
`%`$0
8+
\end{definition}

latex-mode/exercise

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: exercise
3+
# key: exc
4+
# group: theorems
5+
# --
6+
\begin{exercise}
7+
`%`$0
8+
\end{exercise}

latex-mode/lemma

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: lemma
3+
# key: lmm
4+
# group: theorems
5+
# --
6+
\begin{lemma}
7+
`%`$0
8+
\end{lemma}

latex-mode/proof

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: proof
3+
# key: prf
4+
# group: theorems
5+
# --
6+
\begin{proof}
7+
`%`$0
8+
\end{proof}

latex-mode/remark

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: remark
3+
# key: rmk
4+
# group: theorems
5+
# --
6+
\begin{remark}
7+
`%`$0
8+
\end{remark}

latex-mode/theorem

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: theorem
3+
# key: thm
4+
# group: theorems
5+
# --
6+
\begin{theorem}
7+
`%`$0
8+
\end{theorem}

0 commit comments

Comments
 (0)