# - Conjecture
# - Criterion
# - Algorithm
-# - Fact
+# - Fact
# - Axiom
# - Definition
# - Example
# - Conclusion
-# Theorem-numbered style declaration
+Format 4
Style Theorem
Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}
+ \theoremstyle{plain}
+ \newtheorem{thm}{Theorem}
EndPreamble
-End
+End
+
-# Corollary-numbered style declaration
Style Corollary
Preamble
- \theoremstyle{plain}
- \newtheorem{cor}{Corollary}
+ \theoremstyle{plain}
+ \newtheorem{cor}{Corollary}
EndPreamble
-End
+End
+
-# Lemma-numbered style declaration
Style Lemma
Preamble
- \theoremstyle{plain}
- \newtheorem{lem}{Lemma}
+ \theoremstyle{plain}
+ \newtheorem{lem}{Lemma}
EndPreamble
-End
+End
+
-# Proposition-numbered style declaration
Style Proposition
Preamble
- \theoremstyle{plain}
- \newtheorem{prop}{Proposition}
+ \theoremstyle{plain}
+ \newtheorem{prop}{Proposition}
EndPreamble
-End
+End
+
-# Conjecture-numbered style declaration
Style Conjecture
Preamble
- \theoremstyle{plain}
- \newtheorem{conjecture}{Conjecture}
+ \theoremstyle{plain}
+ \newtheorem{conjecture}{Conjecture}
EndPreamble
-End
+End
+
-# Criterion-numbered style declaration
Style Criterion
Preamble
- \theoremstyle{plain}
- \newtheorem{criterion}{Criterion}
+ \theoremstyle{plain}
+ \newtheorem{criterion}{Criterion}
EndPreamble
-End
+End
+
-# Algorithm-numbered style declaration
Style Algorithm
Preamble
- \theoremstyle{plain}
- \newtheorem{algorithm}{Algorithm}
+ \theoremstyle{plain}
+ \newtheorem{algorithm}{Algorithm}
EndPreamble
-End
+End
+
-# Fact-numbered style declaration
Style Fact
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{fact}{Fact}
EndPreamble
-End
+End
+
-# Axiom-numbered style declaration
Style Axiom
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{ax}{Axiom}
EndPreamble
-End
+End
+
-# Definition-numbered style declaration
Style Definition
Preamble
\theoremstyle{definition}
\newtheorem{defn}{Definition}
EndPreamble
-End
+End
+
-# Example-numbered style declaration
Style Example
Preamble
\theoremstyle{definition}
\newtheorem{example}{Example}
EndPreamble
-End
+End
+
-# Condition-numbered style declaration
Style Condition
Preamble
\theoremstyle{definition}
\newtheorem{condition}{Condition}
EndPreamble
-End
+End
+
-# Problem-numbered style declaration
Style Problem
Preamble
\theoremstyle{definition}
\newtheorem{problem}{Problem}
EndPreamble
-End
+End
+
-# Exercise-numbered style declaration
Style Exercise
Preamble
\theoremstyle{definition}
\newtheorem{xca}{Exercise}
EndPreamble
-End
+End
+
-# Remark-numbered style declaration
Style Remark
Preamble
\theoremstyle{remark}
\newtheorem{rem}{Remark}
EndPreamble
-End
+End
+
-# Claim-numbered style declaration
Style Claim
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{claim}{Claim}
EndPreamble
-End
+End
+
-# Note-numbered style declaration
Style Note
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{note}{Note}
EndPreamble
-End
+End
+
-# Notation-numbered style declaration
Style Notation
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{notation}{Notation}
EndPreamble
-End
+End
+
-# Summary-numbered style declaration
Style Summary
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{summary}{Summary}
EndPreamble
-End
+End
+
-# Acknowledgement-numbered style declaration
Style Acknowledgement
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{acknowledgement}{Acknowledgement}
EndPreamble
-End
+End
+
-# Case-numbered style declaration
Style Case
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{case}{Case}
EndPreamble
-End
+End
+
-# Conclusion-numbered style declaration
Style Conclusion
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{conclusion}{Conclusion}
EndPreamble
-End
+End
+
-