On 11/29/2009 12:16 PM, Ben Rasmussen wrote:
In writing a document, I often need to write out an argument with
numbered premises and a conclusion. The best I can figure out for now
is to use the description code to label the argument, then nest in
numbered premises and the conclusion.
This the attached module, which can be used for this purpose and adapted
as you need.
The problem with this is that the conclusion doesn't stand out. How
could I have a horizontal line between the premises and conclusion,
Insert>Formatting>Horizontal Line? If you don't want one so big, there
are other options.
or a therefore symbol before the conclusion?
Math mode: \therefore.
rh
#\DeclareLyXModule{Formula}
#DescriptionBegin
#An environment for numbered formulas.
#DescriptionEnd
Format 11
Counter formula
End
Style Formula
Margin First_Dynamic
LatexType Item_Environment
LatexName Formula
NextNoIndent 1
LabelSep xxxxxx
LeftMargin MMM
ParSkip 0.4
ItemSep 0.2
TopSep 0.7
BottomSep 0.7
ParSep 0.3
Align Block
AlignPossible Block, Left
LabelType Counter
LabelCounter formula
LabelString "(\arabic{formula})"
LabelFont
Shape Up
Series Bold
EndFont
#define the environment formula
Preamble
\usepackage{calc}
\usepackage{prettyref}
\usepackage{ifthen}
\newcounter{formula}
\makeatletter
\d...@rh@item{\refstepcounter{formula}\olditem}
\newenvironment{Formula}%
{\begin{list}{\theformula}{%
\setlength{\labelwidth}{\leftmargin - \labelsep}%
\let\olditem=\item%
\renewcommand{\item...@ifnextchar[\olditem{\@r...@item}}%
\renewcommand{\makelabel}[1]{(##1)\hfil}}%
}{\end{list}}
\newrefformat{For}{(\ref{#1})}
EndPreamble
End
