MWE:
Code: Select all
\documentclass[sigplan,10pt,review,anonymous,USenglish,natbib=false]{acmart}
\begin{document}
\begin{proof}
This is a proof with \(\square\) at its end. We wish to have \(\blacksquare\) as standard for the end-of-proofs.
\end{proof}
\begin{proof}
This is a proof with \(\square\) on the last line. Instead, we wish to have \(\blacksquare\) also here.
\[e^{i\pi}+1=0\qedhere\]
\end{proof}
\begin{definition}
This is a definition with \(\square\) at its end. This qed symbol is o.k.\qed
\end{definition}
\begin{example}
This is an example with \(\square\) on the last line. It's also ok here.
\[e^{i\pi}+1=0\tag*{\qed}\]
\end{example}
\end{document}