Dear All Before proceeding, please have a look at my attached example. LyX converts the proof to LaTeX as follows:
\begin{proof} This is my short proof. \end{proof} However, due to a bug in the ntheorem package, the end-mark symbol does not appear; one needs to delete the empty lines between "This is my short proof.". Is it possible to instruct LyX to automatically delete those lines? Thanks in advance, Paul #LyX 1.3 created this file. For more info see http://www.lyx.org/ \lyxformat 221 \textclass article \begin_preamble \usepackage[thmmarks]{ntheorem} \theoremheaderfont{\itshape\bfseries} \theorembodyfont{\normalfont} \theoremstyle{nonumberplain} \theoremsymbol{\rule{1ex}{1ex}} \newtheorem{proof}{Proof} \end_preamble \language american \inputencoding auto \fontscheme default \graphics default \paperfontsize default \spacing single \papersize Default \paperpackage a4 \use_geometry 0 \use_amsmath 0 \use_natbib 0 \use_numerical_citations 0 \paperorientation portrait \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \defskip medskip \quotes_language english \quotes_times 2 \papercolumns 1 \papersides 1 \paperpagestyle default \layout Standard \begin_inset ERT status Collapsed \layout Standard \backslash begin{proof} \end_inset \layout Standard This is my short proof. \layout Standard \begin_inset ERT status Collapsed \layout Standard \backslash end{proof} \end_inset \the_end