2000-02-08 15:13:01 +00:00
|
|
|
|
#% Do not delete the line below; configure depends on this
|
|
|
|
|
# \DeclareLaTeXClass[article]{article (Hebrew)}
|
|
|
|
|
# Hebrew article textclass definition file.
|
|
|
|
|
# Author: Dekel Tsur <dekel@math.tau.ac.il>
|
2000-05-12 13:11:20 +00:00
|
|
|
|
# Few changes by Baruch Even <baruch.even@writeme.com>
|
2000-02-08 15:13:01 +00:00
|
|
|
|
|
|
|
|
|
Input article
|
|
|
|
|
|
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\usepackage{theorem}
|
|
|
|
|
\theorembodyfont{\upshape}
|
|
|
|
|
\newtheorem{theorem}{\R{<7B><><EFBFBD><EFBFBD>}}[section]
|
|
|
|
|
\AtBeginDocument{\make@lr\thetheorem}
|
2000-02-08 15:13:01 +00:00
|
|
|
|
EndPreamble
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Theorem
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Margin First_Dynamic
|
|
|
|
|
LatexType Environment
|
|
|
|
|
LatexName theorem
|
|
|
|
|
NextNoIndent 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
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Theorem #."
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Font
|
|
|
|
|
Shape Up
|
|
|
|
|
Size Normal
|
|
|
|
|
EndFont
|
|
|
|
|
LabelFont
|
|
|
|
|
Shape Up
|
|
|
|
|
Series Bold
|
|
|
|
|
EndFont
|
2000-02-08 15:13:01 +00:00
|
|
|
|
End
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Lemma
|
2003-05-02 08:55:48 +00:00
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
LatexName lemma
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Lemma #."
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\newtheorem{lemma}[theorem]{\R{<7B><><EFBFBD>}}
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
|
End
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Corollary
|
2003-05-02 08:55:48 +00:00
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
LatexName corollary
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Corollary #."
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\newtheorem{corollary}[theorem]{\R{<7B><><EFBFBD><EFBFBD><EFBFBD>}}
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
|
End
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Claim
|
2003-05-02 08:55:48 +00:00
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
LatexName claim
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Claim #."
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\newtheorem{claim}[theorem]{\R{<7B><><EFBFBD><EFBFBD>}}
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
|
End
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Definition
|
2003-05-02 08:55:48 +00:00
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
LatexName definition
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Definition #."
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\newtheorem{definition}[theorem]{\R{<7B><><EFBFBD><EFBFBD><EFBFBD>}}
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
|
End
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Remarks
|
2003-05-02 08:55:48 +00:00
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
LatexName remark
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Remarks #."
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\newtheorem{remark}[theorem]{\R{<7B><><EFBFBD><EFBFBD>}}
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
|
End
|
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
|
Style Proof
|
2003-05-02 08:55:48 +00:00
|
|
|
|
Margin First_Dynamic
|
|
|
|
|
LatexType Environment
|
|
|
|
|
LatexName proof
|
|
|
|
|
NextNoIndent 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
|
2005-05-20 09:13:42 +00:00
|
|
|
|
LabelString "Proof:"
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndLabelType Filled_Box
|
|
|
|
|
Font
|
|
|
|
|
Shape Up
|
|
|
|
|
Size Normal
|
|
|
|
|
EndFont
|
|
|
|
|
LabelFont
|
|
|
|
|
Shape Up
|
|
|
|
|
Series Bold
|
|
|
|
|
EndFont
|
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
|
\newenvironment{proof}%
|
|
|
|
|
{\R{\textbf{<7B><><EFBFBD><EFBFBD><EFBFBD>:}}}%
|
|
|
|
|
{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
|
2003-05-02 08:55:48 +00:00
|
|
|
|
EndPreamble
|
2000-02-08 15:13:01 +00:00
|
|
|
|
End
|