mjo-algebra.tex: fix glossary sorting of \variety

[mjotex.git] / mjo-theorem.tex

diff --git a/mjo-theorem.tex b/mjo-theorem.tex
index 0b553009d9bac0ba3df9c9400fb7bc2669bc4f42..ea0ca332922827ae38fa388b2cf89d72ec3349ca 100644 (file)
--- a/mjo-theorem.tex
+++ b/mjo-theorem.tex
@@ -2,14 +2,19 @@
 % The standard corollary, definition, theorem, etc. that we all define
 % in every single paper.
 %
+\ifx\havemjotheorem\undefined
+\def\havemjotheorem{1}
 
-\usepackage{amsthm}
+\ifx\theoremstyle\undefined
+  \usepackage{amsthm}
+\fi
 
+\theoremstyle{plain}
 \newtheorem{corollary}{Corollary}
+\newtheorem{exercise}{Exercise}
 \newtheorem{lemma}{Lemma}
 \newtheorem{proposition}{Proposition}
 \newtheorem{theorem}{Theorem}
-\newtheorem*{theorem*}{Theorem}
 
 \theoremstyle{definition}
 \newtheorem{definition}{Definition}
@@ -17,3 +22,6 @@
 
 \theoremstyle{remark}
 \newtheorem{remark}{Remark}
+
+
+\fi