Try this: in the math environment, put the \qedhere
command inside of an \mbox
, as in
\[ .... some numbers and equation. \mbox{\qedhere} \]
it won't work completely correctly, but now the mark inserted is the openbox, and not the filled box. I think this is a bug with amsthm
(see below the cut), so you'd be best off just leaving well-enough alone and let the journal deal with it later.
The oupau
class apparently uses amsthm
and not ntheorem
for its theorem needs. And this is how it defines the open-box symbol for the QED in the theorem environment:
\providecommand{\qedsymbolthm}{\openbox}
\DeclareRobustCommand{\qedthm}{%
\ifmmode \mathqed
\else
\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
\quad\hbox{\qedsymbolthm}%
\fi
}
\def\@begintheorem#1#2[#3]{%
\pushQED{\qedthm}\deferred@thm@head{\the\thm@headfont \thm@indent
\@ifempty{#1}{\let\thmname\@gobble}{\let\thmname\@iden}%
\@ifempty{#2}{\let\thmnumber\@gobble}{\let\thmnumber\@iden}%
\@ifempty{#3}{\let\thmnote\@gobble}{\let\thmnote\@iden}%
\thm@swap\swappedhead\thmhead{#1}{#2}{#3}%
\the\thm@headpunct
\thmheadnl % possibly a newline.
\hskip\thm@headsep
}%
\ignorespaces}
\def\@endtheorem{\popQED\endtrivlist\@endpefalse }
I don't think the problem is actually with Oxford University Press! I think the problem lies in amsthm
! See the definition there for \qedhere
\newcommand{\qedhere}{%
\begingroup \let\mathqed\math@qedhere
\let\qed@elt\setQED@elt \QED@stack\relax\relax \endgroup
}
and the definition for the proof environment
\providecommand{\qedsymbol}{\openbox}%
\newenvironment{proof}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item[\hskip\labelsep
\itshape
#1\@addpunct{.}]\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
I'm thinking that the pushQED
and popQED
commands are defined just so they can accomodate different end symbols! The problem, apparently, lies in the definition of \qedhere
, which calls \math@qedhere
when it sits in a math environment. And unfortunately, instead of the definitions used in \setQED@elt
(which is called in text mode), which process the current qed symbol that's in the QED stack, \math@qedhere
depends on
\newcommand{\mathqed}{\quad\hbox{\qedsymbol}}
\def\linebox@qed{\hfil\hbox{\qedsymbol}\hfilneg}
which explictly references the \qedsymbol
, which is defined to be the filled box in oupau.cls
. So in short, the amsthm
package, uses two different ways of accessing the QED symbol depending on whether the environment ends naturally (with \popQED
) or if you insert the symbol using \qedhere
inside a math environment. This, I think, is a bug.
\qedhere
command? If so, what are the results?