lib/layouts/heb-article.layout

   1 #% Do not delete the line below; configure depends on this
   2 #  \DeclareLaTeXClass[article,theorem.sty]{Hebrew Article}
   3 #  \DeclareCategory{Articles}
   4 # Hebrew article textclass definition file.
   5 # Author: Dekel Tsur <dekel@math.tau.ac.il>
   6 # Few changes by Baruch Even <baruch.even@writeme.com>
   7
   8 Format 41
   9 Input article
  10
  11 Preamble
  12         \usepackage{theorem}
  13         \theorembodyfont{\upshape}
  14         \newtheorem{theorem}{\R{משפט}}[section]
  15         \AtBeginDocument{\make@lr\thetheorem}
  16 EndPreamble
  17
  18
  19 Style Theorem
  20         Margin                First_Dynamic
  21         LatexType             Environment
  22         LatexName             theorem
  23         NextNoIndent          1
  24         LabelSep              xx
  25         ParIndent             MMM
  26         ParSkip               0.4
  27         ItemSep               0.2
  28         TopSep                0.7
  29         BottomSep             0.7
  30         ParSep                0.3
  31         Align                 Block
  32         AlignPossible         Block, Left
  33         LabelType             Static
  34         LabelString           "Theorem #."
  35         Font
  36           Shape               Up
  37           Size                Normal
  38         EndFont
  39         LabelFont
  40           Shape               Up
  41           Series              Bold
  42         EndFont
  43 End
  44
  45
  46 Style Lemma
  47         CopyStyle             Theorem
  48         LatexName             lemma
  49         LabelString           "Lemma #."
  50         Preamble
  51                 \newtheorem{lemma}[theorem]{\R{למה}}
  52         EndPreamble
  53 End
  54
  55
  56 Style Corollary
  57         CopyStyle             Theorem
  58         LatexName             corollary
  59         LabelString           "Corollary #."
  60         Preamble
  61                 \newtheorem{corollary}[theorem]{\R{מסקנה}}
  62         EndPreamble
  63 End
  64
  65
  66 Style Claim
  67         CopyStyle             Theorem
  68         LatexName             claim
  69         LabelString           "Claim #."
  70         Preamble
  71                 \newtheorem{claim}[theorem]{\R{טענה}}
  72         EndPreamble
  73 End
  74
  75
  76 Style Definition
  77         CopyStyle             Theorem
  78         LatexName             definition
  79         LabelString           "Definition #."
  80         Preamble
  81                 \newtheorem{definition}[theorem]{\R{הגדרה}}
  82         EndPreamble
  83 End
  84
  85
  86 Style Remarks
  87         CopyStyle             Theorem
  88         LatexName             remark
  89         LabelString           "Remarks #."
  90         Preamble
  91                 \newtheorem{remark}[theorem]{\R{הערה}}
  92         EndPreamble
  93 End
  94
  95
  96 Style Proof
  97         Margin                First_Dynamic
  98         LatexType             Environment
  99         LatexName             proof
 100         NextNoIndent          1
 101         LabelSep              xx
 102         ParIndent             MMM
 103         ParSkip               0.4
 104         ItemSep               0.2
 105         TopSep                0.7
 106         BottomSep             0.7
 107         ParSep                0.3
 108         Align                 Block
 109         AlignPossible         Block, Left
 110         LabelType             Static
 111         LabelString           "Proof:"
 112         EndLabelType          Filled_Box
 113         Font
 114           Shape               Up
 115           Size                Normal
 116         EndFont
 117         LabelFont
 118           Shape               Up
 119           Series              Bold
 120         EndFont
 121         Preamble
 122                 \newenvironment{proof}%
 123                         {\R{\textbf{הוכחה:}}}%
 124                         {\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
 125         EndPreamble
 126 End
 127
 128 Input theorems-refprefix.inc