-# Proposition-numbered style declaration
-Style Proposition
- CopyStyle TheoremTemplate
- LatexName prop
- LabelString "Proposition #:"
-
- Preamble
- \newtheorem{prop}{Proposition}
- EndPreamble
-End
-
-# Conjecture-numbered style declaration
-Style Conjecture
- CopyStyle TheoremTemplate
- LatexName conject
- LabelString "Conjecture #:"
-
- Preamble
- \newtheorem{conject}{Conjecture}
- EndPreamble
-End
-
-# Criterion-numbered style declaration
-Style Criterion
- CopyStyle TheoremTemplate
- LatexName criter
- LabelString "Criterion #:"
-
- Preamble
- \newtheorem{criter}{Criterion}
- EndPreamble
-End
-
-# Fact-numbered style declaration
-Style Fact
- CopyStyle TheoremTemplate
- LatexName fact
- LabelString "Fact #:"
-
- Preamble
- \newtheorem{fact}{Fact}
- EndPreamble
-End
-
-# Axiom-numbered style declaration
-Style Axiom
- CopyStyle TheoremTemplate
- LatexName axi
- LabelString "Axiom #:"