2000-02-08 15:13:01 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
2018-07-07 14:08:48 +00:00
|
|
|
# \DeclareLaTeXClass[article,theorem.sty]{Hebrew Article}
|
2012-10-09 05:24:32 +00:00
|
|
|
# \DeclareCategory{Articles}
|
2000-02-08 15:13:01 +00:00
|
|
|
# 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
|
|
|
|
2020-12-21 18:35:34 +00:00
|
|
|
Format 90
|
2000-02-08 15:13:01 +00:00
|
|
|
Input article
|
|
|
|
|
|
|
|
Preamble
|
2019-08-15 15:42:27 +00:00
|
|
|
\usepackage{theorem}
|
|
|
|
\theorembodyfont{\upshape}
|
|
|
|
% LuaTeX/luabidi does not know \beginR
|
|
|
|
% FIXME LuaTeX/luabidi does not get the order right
|
|
|
|
\AtBeginDocument{
|
|
|
|
\@ifundefined{setRTL}{}{\providecommand\beginR{\setRTL}}
|
|
|
|
}
|
|
|
|
\newtheorem{theorem}{{\beginR משפט}}[section]
|
|
|
|
% Only needed by babel, not polyglossia (which does
|
|
|
|
% not have \make@lr defined)
|
|
|
|
\@ifundefined{make@lr}{}{%
|
|
|
|
\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
|
2013-01-30 11:36:49 +00:00
|
|
|
Category Reasoning
|
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
|
2019-08-15 15:42:27 +00:00
|
|
|
\newtheorem{lemma}[theorem]{{\beginR למה}}
|
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
|
2019-08-15 15:42:27 +00:00
|
|
|
\newtheorem{corollary}[theorem]{{\beginR מסקנה}}
|
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
|
2019-08-15 15:42:27 +00:00
|
|
|
\newtheorem{claim}[theorem]{{\beginR טענה}}
|
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
|
2019-08-15 15:42:27 +00:00
|
|
|
\newtheorem{definition}[theorem]{{\beginR הגדרה}}
|
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
|
2019-08-15 15:42:27 +00:00
|
|
|
\newtheorem{remark}[theorem]{{\beginR הערה}}
|
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
|
2013-01-30 11:36:49 +00:00
|
|
|
Category Reasoning
|
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}%
|
2019-08-15 15:42:27 +00:00
|
|
|
{{\beginR \textbf{הוכחה:}}}%
|
2003-09-15 15:11:39 +00:00
|
|
|
{\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
|
2010-07-11 13:45:21 +00:00
|
|
|
|
|
|
|
Input theorems-refprefix.inc
|