# - Claim
# - Proof
-Format 6
+Format 7
Style Theorem*
- CopyStyle Theorem
+ Category Theorem
+ LatexType Environment
+ Margin First_Dynamic
LatexName thm*
LabelType Static
LabelString "Theorem."
+ NextNoIndent 1
+ OptionalArgs 1
+ LabelSep xx
+ ParIndent MMM
+ ParSkip 0.4
+ ItemSep 0.2
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0.3
+ Align Block
+ AlignPossible Left
+ Font
+ Shape Italic
+ Size Normal
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
Preamble
\theoremstyle{plain}
\newtheorem*{thm*}{Theorem}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{cor*}{Corollary}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{lem*}{Lemma}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{prop*}{Proposition}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{conjecture*}{Conjecture}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{fact*}{Fact}
EndPreamble
+ Requires amsthm
End
Style Definition*
- CopyStyle Definition
+ CopyStyle Theorem*
LatexName defn*
- LabelType Static
+#LabelType Static
LabelString "Definition."
+ Font
+ Shape Up
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
Preamble
\theoremstyle{definition}
\newtheorem*{defn*}{Definition}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{example*}{Example}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{problem*}{Problem}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{xca*}{Exercise}
EndPreamble
+ Requires amsthm
End
Style Remark*
- CopyStyle Remark
+ CopyStyle Theorem*
LatexName rem*
- LabelType Static
LabelString "Remark."
+ Font
+ Shape Up
+ Size Normal
+ EndFont
+ LabelFont
+ Series Medium
+ Shape Italic
+ EndFont
Preamble
\theoremstyle{remark}
\newtheorem*{rem*}{Remark}
EndPreamble
+ Requires amsthm
End
\theoremstyle{remark}
\newtheorem*{claim*}{Claim}
EndPreamble
+ Requires amsthm
End