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   EndLabelType          Filled_Box
  34   # standard font definition
  35   Font
  36     Shape               Up
  37     Size                Normal
  38   EndFont
  39   # label font definition
  40   LabelFont
  41     Shape               Italic
  42   EndFont
  43 End
  44
  45 Style Theorem
  46   Margin                First_Dynamic
  47   LatexType             Environment
  48   LatexName             theorem
  49   NextNoIndent          1
  50   LabelSep              xx
  51   ParIndent             MMM
  52   ParSkip               0.4
  53   ItemSep               0.2
  54   TopSep                0.7
  55   BottomSep             0.7
  56   ParSep                0.3
  57   Align                 Block
  58   AlignPossible         Block, Left
  59   LabelType             Static
  60   LabelString           ".# èôùî"
  61   # standard font definition
  62   Font
  63     Shape               Italic
  64     Size                Normal
  65   EndFont
  66   # label font definition
  67   LabelFont
  68     Shape               Up
  69     Series              Bold
  70   EndFont
  71 End
  72
  73 Style Corollary
  74   CopyStyle             Theorem
  75   LatexName             corollary
  76   LabelString           ".# äð÷ñî"
  77 End
  78
  79 Style Lemma
  80   CopyStyle             Theorem
  81   LatexName             lemma
  82   LabelString           ".# äîì"
  83 End
  84
  85 Style Claim
  86   CopyStyle             Theorem
  87   LatexName             claim
  88   LabelString           ".# äðòè"
  89 End
  90
  91 Style Comment
  92   LabelString           ": äøòä"
  93 End
  94
  95 Style Abstract
  96   LabelString           "øéö÷ú"
  97 End