- Category Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName IEEEproof
- 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 Block, Left
- LabelType Static
- LabelString "Proof."
- EndLabelType Filled_Box
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Shape Italic
- EndFont
+ Category Theorem
+ Margin First_Dynamic
+ LatexType Environment
+ LatexName IEEEproof
+ NextNoIndent 1
+ Argument 1
+ LabelString "Alternative Proof String"
+ Tooltip "An alternative proof string"
+ EndArgument
+ LabelSep xx
+ ParIndent MMM
+ ParSkip 0.4
+ ItemSep 0.2
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0.3
+ Align Block
+ AlignPossible Block, Left
+ LabelType Static
+ LabelString "Proof."
+ EndLabelType Filled_Box
+ Font
+ Shape Up
+ Size Normal
+ EndFont
+ LabelFont
+ Shape Italic
+ EndFont