Re: incompatibilità (per quello che ho capito) tra pxfonts e ams

altra domanda, molto più triviale.
\endproof stampa un quadrato vuoto. c’è un modo per stamparlo pieno?

\renewcommand{\qedsymbol}{\(\blacksquare\)}

Ciao
Flavio