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 66
   9 Input article
  10
  11 Preamble
  12 \usepackage{theorem}
  13 \theorembodyfont{\upshape}
  14 % LuaTeX/luabidi does not know \beginR
  15 % FIXME LuaTeX/luabidi does not get the order right
  16 \AtBeginDocument{
  17 \@ifundefined{setRTL}{}{\providecommand\beginR{\setRTL}}
  18 }
  19 \newtheorem{theorem}{{\beginR משפט}}[section]
  20 % Only needed by babel, not polyglossia (which does
  21 % not have \make@lr defined)
  22 \@ifundefined{make@lr}{}{%
  23    \AtBeginDocument{\make@lr\thetheorem}
  24 }
  25 EndPreamble
  26
  27
  28 Style Theorem
  29         Category              Reasoning
  30         Margin                First_Dynamic
  31         LatexType             Environment
  32         LatexName             theorem
  33         NextNoIndent          1
  34         LabelSep              xx
  35         ParIndent             MMM
  36         ParSkip               0.4
  37         ItemSep               0.2
  38         TopSep                0.7
  39         BottomSep             0.7
  40         ParSep                0.3
  41         Align                 Block
  42         AlignPossible         Block, Left
  43         LabelType             Static
  44         LabelString           "Theorem #."
  45         Font
  46           Shape               Up
  47           Size                Normal
  48         EndFont
  49         LabelFont
  50           Shape               Up
  51           Series              Bold
  52         EndFont
  53 End
  54
  55
  56 Style Lemma
  57         CopyStyle             Theorem
  58         LatexName             lemma
  59         LabelString           "Lemma #."
  60         Preamble
  61                 \newtheorem{lemma}[theorem]{{\beginR למה}}
  62         EndPreamble
  63 End
  64
  65
  66 Style Corollary
  67         CopyStyle             Theorem
  68         LatexName             corollary
  69         LabelString           "Corollary #."
  70         Preamble
  71                 \newtheorem{corollary}[theorem]{{\beginR מסקנה}}
  72         EndPreamble
  73 End
  74
  75
  76 Style Claim
  77         CopyStyle             Theorem
  78         LatexName             claim
  79         LabelString           "Claim #."
  80         Preamble
  81                 \newtheorem{claim}[theorem]{{\beginR טענה}}
  82         EndPreamble
  83 End
  84
  85
  86 Style Definition
  87         CopyStyle             Theorem
  88         LatexName             definition
  89         LabelString           "Definition #."
  90         Preamble
  91                 \newtheorem{definition}[theorem]{{\beginR הגדרה}}
  92         EndPreamble
  93 End
  94
  95
  96 Style Remarks
  97         CopyStyle             Theorem
  98         LatexName             remark
  99         LabelString           "Remarks #."
 100         Preamble
 101             \newtheorem{remark}[theorem]{{\beginR הערה}}
 102         EndPreamble
 103 End
 104
 105
 106 Style Proof
 107         Category              Reasoning
 108         Margin                First_Dynamic
 109         LatexType             Environment
 110         LatexName             proof
 111         NextNoIndent          1
 112         LabelSep              xx
 113         ParIndent             MMM
 114         ParSkip               0.4
 115         ItemSep               0.2
 116         TopSep                0.7
 117         BottomSep             0.7
 118         ParSep                0.3
 119         Align                 Block
 120         AlignPossible         Block, Left
 121         LabelType             Static
 122         LabelString           "Proof:"
 123         EndLabelType          Filled_Box
 124         Font
 125           Shape               Up
 126           Size                Normal
 127         EndFont
 128         LabelFont
 129           Shape               Up
 130           Series              Bold
 131         EndFont
 132         Preamble
 133                 \newenvironment{proof}%
 134                         {{\beginR \textbf{הוכחה:}}}%
 135                         {\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
 136         EndPreamble
 137 End
 138
 139 Input theorems-refprefix.inc