diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-05-31 11:42:13 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-05-31 11:42:13 +0200 |
| commit | 259c0f822da082801171a50fcd68a7add543235d (patch) | |
| tree | d625465f26e0b87788d684c57201e5c9dccf8b2f | |
| parent | 68fa061cf5cfecaf8a83856471ccb86276120d04 (diff) | |
| download | uni-259c0f822da082801171a50fcd68a7add543235d.tar uni-259c0f822da082801171a50fcd68a7add543235d.tar.gz uni-259c0f822da082801171a50fcd68a7add543235d.tar.bz2 uni-259c0f822da082801171a50fcd68a7add543235d.tar.xz uni-259c0f822da082801171a50fcd68a7add543235d.zip | |
Definitions
| -rw-r--r-- | preamble.tex | 1 |
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} |