Paul Smith schrieb:
Thanks, Uwe. You say that I have to define that my new theorem environment ends with a $\Box$. But how can I do that?
I stole this from the ntheorem manual:
\theoremsymbol{\ensuremath{\blacksquare}}
That the symbol doesn't appear in your file has the reason that within theorem environments no
paragraph breaks are allowed when you want to see the symbol. Forced line breaks are also not
allowed, so you have to write everything in ERT.
See the attached Lyx file for how this is done. regards Uwe
proof.lyx
Description: application/lyx
