lib/layouts/heb-article.layout

   1 #% Do not delete the line below; configure depends on this
   2 #  \DeclareLaTeXClass[article]{article (Hebrew)}
   3 # Hebrew article textclass definition file.
   4 # Author: Dekel Tsur <dekel@math.tau.ac.il>
   5
   6 Input article
   7
   8 Preamble
   9 \newtheorem{theorem}{\R{\mem\shin\pe\tet}}[section]
  10 \newtheorem{lemma}[theorem]{\R{\lamed\mem\he}}
  11 \newtheorem{claim}[theorem]{\R{\tet\ayin\nun\he}}
  12 \newtheorem{corollary}[theorem]{\R{\mem\samekh\qof\nun\he}}
  13 \newenvironment{proof}{\R{\em \he\vav\kaf\het\he:}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
  14 EndPreamble
  15
  16 # Proof style declaration
  17 Style Proof
  18   Margin                First_Dynamic
  19   LatexType             Environment
  20   LatexName             proof
  21   NextNoIndent          1
  22   LabelSep              xx
  23   ParIndent             MMM
  24   ParSkip               0.4
  25   ItemSep               0.2
  26   TopSep                0.7
  27   BottomSep             0.7
  28   ParSep                0.3
  29   Align                 Block
  30   AlignPossible         Block, Left
  31   LabelType             Static
  32   LabelString           ":äçëåä"
  33   # standard font definition
  34   Font
  35     Shape               Up
  36     Size                Normal
  37   EndFont
  38   # label font definition
  39   LabelFont
  40     Shape               Italic
  41   EndFont
  42 End
  43
  44 Style Theorem
  45   Margin                First_Dynamic
  46   LatexType             Environment
  47   LatexName             theorem
  48   NextNoIndent          1
  49   LabelSep              xx
  50   ParIndent             MMM
  51   ParSkip               0.4
  52   ItemSep               0.2
  53   TopSep                0.7
  54   BottomSep             0.7
  55   ParSep                0.3
  56   Align                 Block
  57   AlignPossible         Block, Left
  58   LabelType             Static
  59   LabelString           ".# èôùî"
  60   # standard font definition
  61   Font
  62     Shape               Italic
  63     Size                Normal
  64   EndFont
  65   # label font definition
  66   LabelFont
  67     Shape               Up
  68     Series              Bold
  69   EndFont
  70 End
  71
  72 Style Corollary
  73   CopyStyle             Theorem
  74   LatexName             corollary
  75   LabelString           ".# äð÷ñî"
  76 End
  77
  78 Style Lemma
  79   CopyStyle             Theorem
  80   LatexName             lemma
  81   LabelString           ".# äîì"
  82 End
  83
  84 Style Claim
  85   CopyStyle             Theorem
  86   LatexName             claim
  87   LabelString           ".# äðòè"
  88 End
  89
  90 Style Comment
  91   LabelString           ": äøòä"
  92 End
  93
  94 Style Abstract
  95   LabelString           "øéö÷ú"
  96 End