lib/layouts/theorems-proof-std.inc

   1 # Moved here by rikiheck. Original author cloudy.
   2 # Edited sep '22 by Udi Fogiel <udifoglle@gmail.com> (more similar version to the amsthm one)
   3
   4 Format 99
   5
   6 # This is just a hacked version of the AMS proof environment
   7 Style Proof
   8         Category              Reasoning
   9         Margin                First_Dynamic
  10         LatexType             Environment
  11         LatexName             proof
  12         NextNoIndent          1
  13         ResetArgs             1
  14         Argument 1
  15                 LabelString       "Alternative Proof String"
  16                 Tooltip           "Alternative proof string"
  17         EndArgument
  18         LabelSep              xx
  19         ParIndent             MMM
  20         ParSkip               0.4
  21         ItemSep               0.2
  22         TopSep                0.7
  23         BottomSep             0.7
  24         ParSep                0.3
  25         Align                 Block
  26         AlignPossible         Block, Left
  27         LabelType             Static
  28         LabelString           "Proof."
  29         EndLabelType          Box
  30         Font
  31             Shape             Up
  32             Size              Normal
  33         EndFont
  34         LabelFont
  35             Shape             Italic
  36         EndFont
  37         Preamble
  38                 \ifcsname proof\endcsname\else
  39                         \DeclareRobustCommand{\lyx@qed}{%
  40                           \ifmmode
  41                           \else \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
  42                           \fi
  43                           \quad\hbox{\lyx@qedsymbol}}
  44                         \newcommand{\lyx@openbox}{\leavevmode
  45                           \hbox to.77778em{%
  46                           \hfil\vrule
  47                           \vbox to.675em{\hrule width.6em\vfil\hrule}%
  48                           \vrule\hfil}}
  49                         \newcommand{\lyx@qedsymbol}{\lyx@openbox}
  50                         \newenvironment{proof}[1][\proofname]{\par
  51                           \normalfont
  52                           \topsep6\p@\@plus6\p@ \trivlist
  53                           \item[\hskip\labelsep\itshape
  54                                 #1.]\ignorespaces
  55                         }{%
  56                           \lyx@qed\endtrivlist
  57                         }
  58                 \fi
  59         EndPreamble
  60     # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  61         DocBookWrapperTag     figure
  62         DocBookWrapperAttr    role='proof'
  63         DocBookTag            para
  64         DocBookGenerateTitle  true
  65 End