Paul Smith schrieb:

Could someone please tell why the black square is not shown in the
pdflatex output of the attached document? (Please, have a look at the
preamble.)

You have to dfine that your new theorem should end with a $\Box$. But why don't you use an AMS class where this is all predefined? I attached an example.

regards Uwe

Attachment: proof.lyx
Description: application/lyx

Reply via email to