# Modified from amsart.layout May '08 by Andrew Corrigan <acorriga@gmu.edu>
-Format 40
+Format 44
Columns 1
Sides 2
PageStyle Headers
End
Style Algorithm
- Category Theorem
+ Category Reasoning
Preamble
EndPreamble
End
LatexType Environment
LatexName proof
NextNoIndent 1
- OptionalArgs 1
+ Argument 1
+ LabelString "Alternative Proof String"
+ Tooltip "An alternative proof string"
+ EndArgument
LabelSep xx
ParIndent MMM
ParSkip 0.4
ParSep 1
Align Center
LabelType No_Label
- OptionalArgs 1
+ Argument 1
+ LabelString "Short Title|S"
+ Tooltip "The title as it appears in the running headers"
+ EndArgument
Font
Shape Smallcaps
Series Bold