[Tex/LaTex] the symbol of end of a proof

lyxsymbolstheorems

I'm trying to put a black square at the end of a proof, but is not the same as LyX gives me (when I choose "proof" at the menu).

It's different from the \blacksquare command (see pic below).

The square of the "end of proof" is smaller and clearer….

enter image description here

So, there is any way to get the square of the end of a proof and by choosing "Proof" from the menu?

Best Answer

The Hebrew Article document class uses \rule{2mm}{2mm} for it's proof environment "QED symbol". To see this, open the View > Source Pane and choose, for example, "Preamble only" to see

\newenvironment{proof}%
{\R{\textbf{הוכחה:}}}%
{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}

You could add to your preamble

\newcommand{\qedsymbol}{\rule{2mm}{2mm}}

which would allow you to insert some ERT with \qedsymbol to get the same output as with other Proofs.

Related Question