# Author: Dekel Tsur <dekel@math.tau.ac.il>
# Few changes by Baruch Even <baruch.even@writeme.com>
+Format 3
Input article
Preamble
\usepackage{theorem}
\theorembodyfont{\upshape}
- \newtheorem{theorem}{\R{îùôè}}[section]
+ \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
EndFont
Preamble
\newenvironment{proof}%
- {\R{\textbf{äåëçä:}}}%
+ {\R{\textbf{הוכחה:}}}%
{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
EndPreamble
End