# Author: Dekel Tsur <dekel@math.tau.ac.il>
# Few changes by Baruch Even <baruch.even@writeme.com>
+Format 2
Input article
Preamble
EndPreamble
-Style Abstract
- LabelString "øéö÷ú"
-End
-
-
Style Theorem
Margin First_Dynamic
LatexType Environment
Align Block
AlignPossible Block, Left
LabelType Static
- LabelString ".# èôùî"
+ LabelString "Theorem #."
Font
Shape Up
Size Normal
Style Lemma
CopyStyle Theorem
LatexName lemma
- LabelString ".# äîì"
+ LabelString "Lemma #."
Preamble
\newtheorem{lemma}[theorem]{\R{ìîä}}
EndPreamble
Style Corollary
CopyStyle Theorem
LatexName corollary
- LabelString ".# äð÷ñî"
+ LabelString "Corollary #."
Preamble
\newtheorem{corollary}[theorem]{\R{îñ÷ðä}}
EndPreamble
Style Claim
CopyStyle Theorem
LatexName claim
- LabelString ".# äðòè"
+ LabelString "Claim #."
Preamble
\newtheorem{claim}[theorem]{\R{èòðä}}
EndPreamble
Style Definition
CopyStyle Theorem
LatexName definition
- LabelString ".# äøãâä"
+ LabelString "Definition #."
Preamble
\newtheorem{definition}[theorem]{\R{äâãøä}}
EndPreamble
Style Remarks
CopyStyle Theorem
LatexName remark
- LabelString ".# äøòä"
+ LabelString "Remarks #."
Preamble
\newtheorem{remark}[theorem]{\R{äòøä}}
EndPreamble
Align Block
AlignPossible Block, Left
LabelType Static
- LabelString ":äçëåä"
+ LabelString "Proof:"
EndLabelType Filled_Box
Font
Shape Up