diff options
| -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} |