Align Block
AlignPossible Block
LabelType Static
- LabelString Theorem:
+ LabelString "Theorem:"
LabelSep M
LabelFont
Series Bold
Align Block
AlignPossible Block
LabelType Static
- LabelString Proof:
+ LabelString "Proof:"
LabelSep M
LabelFont
Series Bold
Align Block
AlignPossible Block
LabelType Centered_Top_Environment
- LabelString Appendix
+ LabelString "Appendix"
Font
Series Bold
Size Normal