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

Attachment: proof.lyx
Description: application/lyx

Reply via email to