My problem involes a qed symbol which appears too early. My observations are that it happens after a displaymath inside an item of an unboxed inline list. All of this seems to be necessary to produce the error.
The packages involved are ntheorem, thmtools and enumitem.
If I compile this code with lualatex using TeXLive 2011.
\documentclass{scrreprt}
\PassOptionsToPackage{thmmarks}{ntheorem}
\PassOptionsToPackage{inline}{enumitem}
\usepackage{amsmath,MnSymbol}
\usepackage{ntheorem,thmtools}
\usepackage{
enumitem,
}
\declaretheoremstyle[qed={\quad\blacksquare}]{plain}
\declaretheorem[style=plain,numbered=no,name=Proof]{proof}%
\begin{document}
\begin{proof}
\begin{enumerate*}[mode=unboxed]
\[a\]
Still proof.
\end{enumerate*}
\end{proof}
\end{document}
the output becomes:

The symbol is placed correctly if the enumerate* environment isn't used or if $$ or \begin{displaymath and \end{displaymath} is used to mark displaymath mode instead of \[ and \].
Clearly, the qed symbol should be at the end of the proof after “Still proof.” – What am I doing wrong? Couldn't find anything so far.
amsthm. i'm not a user ofntheorem, so you may have other reasons for using it. – barbara beeton Oct 26 '12 at 16:36amsthm, but maybe it would give you some ideas. sorry i can't help withntheorem. – barbara beeton Oct 26 '12 at 17:04ntheoremseems to add the\qedto the last display mode equation. So, a hackish solution would be to end the proof with\vspace{-\belowdisplayskip}\[\]. – Peter Grill Oct 26 '12 at 21:06