Paul Smith wrote:
(1) can we have a tag for the above, so that we can see within LyX that it is a proof?
yes, with this definition -> see png
# Proof style definition
Style Proof
Margin Static
LatexType Environment
LatexName proof
NextNoIndent 1
LeftMargin MMM
RightMargin MMM
TopSep 0.5
ParSep 0.5
BottomSep 0.5
Align Block
AlignPossible Block, Left, Right, Center
LabelType Static
LabelString "Proof: "
EndLabelType Filled_Box
Font
Shape Up
Size Normal
EndFont
LabelFont
Series Bold
EndFont
Preamble
\usepackage[thmmarks]{ntheorem}
\theoremheaderfont{\itshape\bfseries}
\theorembodyfont{\normalfont}
\theoremstyle{nonumberplain}
\theoremsymbol{\rule{1ex}{1ex}}
\newtheorem{proof}{Proof}
Endpreamble
End(2) does this solution conflict with other classes when I use LyX to work with other documents?
yes, when they also uses ntheorem, then there maybe a package clash. You can create your own layout class, then there is no problem.
Herbert
-- http://TeXnik.de/ http://PSTricks.de/ ftp://ftp.dante.de/tex-archive/info/math/voss/Voss-Mathmode.pdf http://www.dante.de/faq/de-tex-faq/ http://www.tex.ac.uk/cgi-bin/texfaq2html?introduction=yes
<<inline: proof.png>>
