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>
|
2023-04-10 16:24:04 +00:00
|
|
|
# Edited by Udi Fogiel <udifoglle@gmail.com>
|
2000-02-08 15:13:01 +00:00
|
|
|
|
2024-08-12 10:29:14 +00:00
|
|
|
Format 107
|
2000-02-08 15:13:01 +00:00
|
|
|
Input article
|
|
|
|
|
2023-04-10 16:24:04 +00:00
|
|
|
Counter theorem
|
|
|
|
Within section
|
2023-07-28 22:22:14 +00:00
|
|
|
RefFormat thm "Theorem \thesection.\arabic{theorem}"
|
|
|
|
RefFormat cor "Corollary \thesection.\arabic{theorem}"
|
|
|
|
RefFormat lem "Lemma \thesection.\arabic{theorem}"
|
|
|
|
RefFormat claim "Claim \thesection.\arabic{theorem}"
|
|
|
|
RefFormat def "Definition \thesection.\arabic{theorem}"
|
|
|
|
RefFormat rem "Remark \thesection.\arabic{theorem}"
|
2023-04-10 16:24:04 +00:00
|
|
|
End
|
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
|
2023-04-10 16:24:04 +00:00
|
|
|
LabelString "Theorem \thetheorem."
|
|
|
|
LabelCounter theorem
|
2003-05-02 08:55:48 +00:00
|
|
|
Font
|
|
|
|
Shape Up
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Shape Up
|
|
|
|
Series Bold
|
|
|
|
EndFont
|
2023-04-10 16:24:04 +00:00
|
|
|
Preamble
|
|
|
|
\usepackage{theorem}
|
|
|
|
\theorembodyfont{\upshape}
|
|
|
|
\newtheorem{theorem}{משפט}[section]
|
|
|
|
% Only needed by babel-hebrew
|
|
|
|
\AtBeginDocument{\@ifundefined{make@lr}{}{%
|
|
|
|
\make@lr\thetheorem
|
|
|
|
}}
|
|
|
|
EndPreamble
|
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
|
2023-04-10 16:24:04 +00:00
|
|
|
LabelString "Lemma \thetheorem."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2023-04-10 16:24:04 +00:00
|
|
|
\newtheorem{lemma}[theorem]{למה}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2023-04-10 16:24:04 +00:00
|
|
|
DependsOn Theorem
|
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
|
2023-04-10 16:24:04 +00:00
|
|
|
LabelString "Corollary \thetheorem."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2023-04-10 16:24:04 +00:00
|
|
|
\newtheorem{corollary}[theorem]{מסקנה}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2023-04-10 16:24:04 +00:00
|
|
|
DependsOn Theorem
|
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
|
2023-04-10 16:24:04 +00:00
|
|
|
LabelString "Claim \thetheorem."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2023-04-10 16:24:04 +00:00
|
|
|
\newtheorem{claim}[theorem]{טענה}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2023-04-10 16:24:04 +00:00
|
|
|
DependsOn Theorem
|
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
|
2023-04-10 16:24:04 +00:00
|
|
|
LabelString "Definition \thetheorem."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2023-04-10 16:24:04 +00:00
|
|
|
\newtheorem{definition}[theorem]{הגדרה}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2023-04-10 16:24:04 +00:00
|
|
|
DependsOn Theorem
|
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
|
2023-04-10 17:03:19 +00:00
|
|
|
LabelString "Remarks \thetheorem."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2023-04-10 16:24:04 +00:00
|
|
|
\newtheorem{remark}[theorem]{הערה}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2023-04-10 16:24:04 +00:00
|
|
|
DependsOn Theorem
|
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}%
|
2023-04-10 16:24:04 +00:00
|
|
|
{\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
|