# Author: Dekel Tsur <dekel@math.tau.ac.il>
# Few changes by Baruch Even <baruch.even@writeme.com>
+Format 6
Input article
Preamble
-\usepackage{theorem}
-\theorembodyfont{\upshape}
-\newtheorem{theorem}{\R{îùôè}}[section]
-\AtBeginDocument{\make@lr\thetheorem}
+ \usepackage{theorem}
+ \theorembodyfont{\upshape}
+ \newtheorem{theorem}{\R{משפט}}[section]
+ \AtBeginDocument{\make@lr\thetheorem}
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{ìîä}}
+ \newtheorem{lemma}[theorem]{\R{למה}}
EndPreamble
End
Style Corollary
CopyStyle Theorem
LatexName corollary
- LabelString ".# äð÷ñî"
+ LabelString "Corollary #."
Preamble
-\newtheorem{corollary}[theorem]{\R{îñ÷ðä}}
+ \newtheorem{corollary}[theorem]{\R{מסקנה}}
EndPreamble
End
Style Claim
CopyStyle Theorem
LatexName claim
- LabelString ".# äðòè"
+ LabelString "Claim #."
Preamble
-\newtheorem{claim}[theorem]{\R{èòðä}}
+ \newtheorem{claim}[theorem]{\R{טענה}}
EndPreamble
End
Style Definition
CopyStyle Theorem
LatexName definition
- LabelString ".# äøãâä"
+ LabelString "Definition #."
Preamble
-\newtheorem{definition}[theorem]{\R{äâãøä}}
+ \newtheorem{definition}[theorem]{\R{הגדרה}}
EndPreamble
End
Style Remarks
CopyStyle Theorem
LatexName remark
- LabelString ".# äøòä"
+ LabelString "Remarks #."
Preamble
-\newtheorem{remark}[theorem]{\R{äòøä}}
+ \newtheorem{remark}[theorem]{\R{הערה}}
EndPreamble
End
Align Block
AlignPossible Block, Left
LabelType Static
- LabelString ":äçëåä"
+ LabelString "Proof:"
EndLabelType Filled_Box
Font
Shape Up
Series Bold
EndFont
Preamble
-\newenvironment{proof}{\R{\textbf{äåëçä:}}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
+ \newenvironment{proof}%
+ {\R{\textbf{הוכחה:}}}%
+ {\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
EndPreamble
End