LatexName thm
NextNoIndent 1
Argument 1
- LabelString "Alternative Theorem String"
+ LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
EndArgument
LabelSep xx
LatexName thm
NextNoIndent 1
Argument 1
- LabelString "Alternative Theorem String"
+ LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
EndArgument
LabelSep xx
LatexName thm
NextNoIndent 1
Argument 1
- LabelString "Alternative Theorem String"
+ LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
EndArgument
LabelSep xx
LabelString "Theorem."
NextNoIndent 1
Argument 1
- LabelString "Alternative Theorem String"
+ LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
EndArgument
LabelSep xx
LatexName thm
NextNoIndent 1
Argument 1
- LabelString "Alternative Theorem String"
+ LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
EndArgument
LabelSep xx