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
|
|
|
|
2019-08-12 12:54:52 +00:00
|
|
|
Format 80
|
2000-02-08 15:13:01 +00:00
|
|
|
Input article
|
|
|
|
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
\usepackage{theorem}
|
|
|
|
\theorembodyfont{\upshape}
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{theorem}{\R{משפט}}[section]
|
2003-09-15 15:11:39 +00:00
|
|
|
\AtBeginDocument{\make@lr\thetheorem}
|
2013-10-19 17:35:49 +00:00
|
|
|
|
|
|
|
% The following chunk fixes export with XeTeX.
|
|
|
|
% It is needed because polyglossia is used by default
|
|
|
|
% and \make@lr is only defined by babel.
|
|
|
|
\@ifundefined{make@lr}
|
|
|
|
{\def\make@lr#1{\begingroup
|
|
|
|
\toks@=\expandafter{#1}%
|
|
|
|
\edef\x{\endgroup
|
|
|
|
\def\noexpand#1{\noexpand\@number{\the\toks@}}}%
|
|
|
|
\x}}{\relax}
|
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
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{lemma}[theorem]{\R{למה}}
|
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
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{corollary}[theorem]{\R{מסקנה}}
|
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
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{claim}[theorem]{\R{טענה}}
|
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
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{definition}[theorem]{\R{הגדרה}}
|
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
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{remark}[theorem]{\R{הערה}}
|
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}%
|
2007-02-24 19:42:28 +00:00
|
|
|
{\R{\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
|