summaryrefslogtreecommitdiff
path: root/preamble.tex
diff options
context:
space:
mode:
Diffstat (limited to 'preamble.tex')
-rw-r--r--preamble.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/preamble.tex b/preamble.tex
index bd24801..f0d802c 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -30,4 +30,5 @@ keywordstyle=
30\providecommand{\limplies}{\ensuremath{\Rightarrow}} 30\providecommand{\limplies}{\ensuremath{\Rightarrow}}
31\providecommand{\seq}{\ensuremath{\Longrightarrow}} 31\providecommand{\seq}{\ensuremath{\Longrightarrow}}
32 32
33\theoremstyle{definition}
33\newtheorem*{def*}{Definition} 34\newtheorem*{def*}{Definition}