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
proof.lyx
Description: application/lyx