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>
|
|
|
|
|
|
|
|
|
|
|
|
Input article
|
|
|
|
|
|
|
|
|
|
|
|
Preamble
|
|
|
|
|
|
\newtheorem{theorem}{\R{\mem\shin\pe\tet}}[section]
|
|
|
|
|
|
\newtheorem{lemma}[theorem]{\R{\lamed\mem\he}}
|
|
|
|
|
|
\newtheorem{claim}[theorem]{\R{\tet\ayin\nun\he}}
|
|
|
|
|
|
\newtheorem{corollary}[theorem]{\R{\mem\samekh\qof\nun\he}}
|
|
|
|
|
|
\newenvironment{proof}{\R{\em \he\vav\kaf\het\he:}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
|
|
|
|
|
|
EndPreamble
|
|
|
|
|
|
|
|
|
|
|
|
# Proof style declaration
|
|
|
|
|
|
Style Proof
|
|
|
|
|
|
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
|
|
|
|
|
|
LabelString ":<3A><><EFBFBD><EFBFBD><EFBFBD>"
|
2000-03-10 13:22:20 +00:00
|
|
|
|
EndLabelType Filled_Box
|
2000-02-08 15:13:01 +00:00
|
|
|
|
# standard font definition
|
|
|
|
|
|
Font
|
|
|
|
|
|
Shape Up
|
|
|
|
|
|
Size Normal
|
|
|
|
|
|
EndFont
|
|
|
|
|
|
# label font definition
|
|
|
|
|
|
LabelFont
|
|
|
|
|
|
Shape Italic
|
|
|
|
|
|
EndFont
|
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
Style Theorem
|
|
|
|
|
|
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
|
|
|
|
|
|
LabelString ".# <20><><EFBFBD><EFBFBD>"
|
|
|
|
|
|
# standard font definition
|
|
|
|
|
|
Font
|
|
|
|
|
|
Shape Italic
|
|
|
|
|
|
Size Normal
|
|
|
|
|
|
EndFont
|
|
|
|
|
|
# label font definition
|
|
|
|
|
|
LabelFont
|
|
|
|
|
|
Shape Up
|
|
|
|
|
|
Series Bold
|
|
|
|
|
|
EndFont
|
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
Style Corollary
|
|
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
|
LatexName corollary
|
|
|
|
|
|
LabelString ".# <20><><EFBFBD><EFBFBD><EFBFBD>"
|
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
Style Lemma
|
|
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
|
LatexName lemma
|
|
|
|
|
|
LabelString ".# <20><><EFBFBD>"
|
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
Style Claim
|
|
|
|
|
|
CopyStyle Theorem
|
|
|
|
|
|
LatexName claim
|
|
|
|
|
|
LabelString ".# <20><><EFBFBD><EFBFBD>"
|
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
Style Comment
|
|
|
|
|
|
LabelString ": <20><><EFBFBD><EFBFBD>"
|
|
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
Style Abstract
|
|
|
|
|
|
LabelString "<22><><EFBFBD><EFBFBD><EFBFBD>"
|
|
|
|
|
|
End
|
