amsmathproof-packageproofreading
the following code will only make the qed not appear in the second proof. However, it it possible to make the qed symbol never appear at the end of the proofs without having to specify it locally every time?
\documentclass{article}
\usepackage{amsthm}
\begin{document}
\begin{proof}
This has the QED symbol.
\end{proof}
\begin{proof}\renewcommand{\qedsymbol}{}
This hasn't.
\end{proof}
\begin{proof}
And this has it again.
\end{proof}
\end{document}
You can redefine it to simply (Thanks to @egreg who pointed out the need for \unskip\nobreak)
\renewcommand{\qed}{\unskip\nobreak\quad\qedsymbol}%
Here's a (not so minimal) MWE:
\documentclass{article}
\usepackage{amsmath,amsthm}
\renewcommand{\qed}{\unskip\nobreak\quad\qedsymbol}% As suggested by egreg
\begin{document}
\begin{proof} A Simple Proof
Here is my proof
\end{proof}
\begin{proof} A Long Proof
Here is my very long proof that involves a lot of computation and stretches quite far to the margin.
\end{proof}
\begin{proof} A Proof with Equations (\verb!equation! environment)
Here is my proof:
\begin{equation}
x = a_0 + \cfrac{1}{a_1
+ \cfrac{1}{a_2
+ \cfrac{1}{a_3 + a_4}}}
\end{equation}
\end{proof}
\begin{proof} A Proof with Equations (\verb!equation! environment) and \verb!\qedhere!
Here is my proof:
\begin{equation}
x = a_0 + \cfrac{1}{a_1
+ \cfrac{1}{a_2
+ \cfrac{1}{a_3 + a_4}}}
\qedhere
\end{equation}
\end{proof}
\begin{proof} A Proof with aligned equations (\verb!align! environment)
\begin{align}
\intertext{If}
A &= \sigma_1+\sigma_2\\
B &= \rho_1+\rho_2\\
\intertext{then}
C(x) &= e^{Ax^2+\pi}+B
\end{align}
\end{proof}
\begin{proof} A Proof with aligned equations (\verb!align! environment) and \verb!\qedhere!
\begin{align}
\intertext{If}
A &= \sigma_1+\sigma_2\\
B &= \rho_1+\rho_2\\
\intertext{then}
C(x) &= e^{Ax^2+\pi}+B\qedhere
\end{align}
\end{proof}
\end{document}
If your proof has equations, you should use \qedhere to avoid that the symbol goes to the next line (as @egreg suggested, it's not a good idea to add \qedhere to all equation environments)
Don't use align. Use gather instead.
\documentclass[fleqn]{article}
\usepackage{amsmath}
\begin{document}
\begin{gather}
b := (a \oplus s_1) \oplus s_2 \\
e := 0
\end{gather}
\end{document}
Best Answer
A simplistic solution would be adding
in the preamble, but this doesn't really work, as the following example shows:
You should still have
\qedherein the display in order to get better spacing.It's better to modify the definition of
proofto remove the QED business.You can still have
\qedhere, but it won't have any effect, so copying code where the command has been used won't give surprises.