forked from artempolyvyanyy/ReuseLaTeX
-
Notifications
You must be signed in to change notification settings - Fork 0
/
core.thm.env.tex
90 lines (72 loc) · 2.61 KB
/
core.thm.env.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Theorem environments
%
% First created on: Dec 2, 2019
% Last updated on: Dec 17, 2019
% Prepared by Artem Polyvyanyy
%
% Email: [email protected]
% Homepage: http://polyvyanyy.com
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newtheorem{mytheorem} {Theorem}
\newtheorem{mydefinition} {Definition}
\newtheorem{mylemma} {Lemma}
\newtheorem{myproposition}{Proposition}
\newtheorem{mycorollary} {Corollary}
\newtheorem{myexample} {Example}
\newtheorem{myconjecture} {Conjecture}
\newtheorem{myremark} {Remark}
\newtheorem{myinvariant} {Invariant}
\numberwithin{mytheorem} {section}
\numberwithin{mydefinition} {section}
\numberwithin{mylemma} {section}
\numberwithin{myproposition}{section}
\numberwithin{mycorollary} {section}
\numberwithin{myexample} {section}
\numberwithin{myconjecture} {section}
\numberwithin{myremark} {section}
\numberwithin{myinvariant} {section}
\newenvironment{define}[3][]
{\begin{mydefinition}[#2]\label{#3}#1\normalfont}
{\hfill\ensuremath{\lrcorner}\end{mydefinition}}
\newenvironment{ncdefine}[3][]
{\begin{mydefinition}[#2]\label{#3}#1\normalfont}
{\end{mydefinition}}
\newenvironment{sample}[3][]
{\begin{myexample}[#2]\label{#3}#1\normalfont}
{\hfill\ensuremath{\lrcorner}\end{myexample}}
\newenvironment{ncsample}[3][]
{\begin{myexample}[#2]\label{#3}#1\normalfont}
{\end{myexample}}
\newenvironment{corol}[3][]
{\begin{mycorollary}[#2]\label{#3}#1}
{\hfill\ensuremath{\lrcorner}\end{mycorollary}}
\newenvironment{conject}[3][]
{\begin{myconjecture}[#2]\label{#3}#1\normalfont}
{\hfill\ensuremath{\lrcorner}\end{myconjecture}}
\newenvironment{propose}[3][]
{\begin{myproposition}[#2]\label{#3}#1}
{\hfill\ensuremath{\lrcorner}\end{myproposition}}
\newenvironment{propose2}[2][]
{\begin{myproposition}\label{#2}#1}
{\hfill\ensuremath{\lrcorner}\end{myproposition}}
\newenvironment{ncpropose}[3][]
{\begin{myproposition}[#2]\label{#3}#1}
{\end{myproposition}}
\newenvironment{ncpropose2}[2][]
{\begin{myproposition}\label{#2}#1}
{\end{myproposition}}
\newenvironment{lem}[3][]
{\begin{mylemma}[#2]\label{#3}#1}
{\hfill\ensuremath{\lrcorner}\end{mylemma}}
\newenvironment{thm}[3][]
{\begin{mytheorem}[#2]\label{#3}#1}
{\hfill\ensuremath{\lrcorner}\end{mytheorem}}
\newenvironment{ncthm}[3][]
{\begin{mytheorem}[#2]\label{#3}#1}
{\end{mytheorem}}
\newenvironment{invariant}[3][]
{\begin{myinvariant}[#2]\label{#3}#1\normalfont}
{\hfill\ensuremath{\lrcorner}\end{myinvariant}}
\addtocounter{mytheorem}{0}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%