[Tex/LaTex] How to enable Q.E.D. mark at the end of proof using “svmono.cls”

amsmathsv-classes

Tomb stone (Q.E.D. mark) is not displayed at the end of a proof when I use "svmono.cls" for my dissertation. How can I enable it?

Here is the code example:

<\documentclass[12pt,sectrefs]{svmono}  
\usepackage{makeidx}        
\usepackage{graphicx}                              
\usepackage{multicol}        
\usepackage[bottom]{footmisc}
\usepackage{amsmath}
\usepackage{lipsum}
\makeindex             

\begin{document}
\frontmatter
\mainmatter

\chapter{Chapter Heading}
\section{Section Heading}
\subsection{Subsection Heading}
\begin{theorem}
\lipsum[1-2]
\end{theorem}
\begin{theorem}
  nonses\\
  nonsesnse\\
  nonsesnse\\
  nonsesnse\\
  nonsesnse\\
%nonsesnse\\
\end{theorem}


\begin{proof}
   here is the proof.
 \end{proof}


\end{document}

Best Answer

The proof environment provided by svmono does not include the automatic QED symbol. Instead it provides a clumsy method for manually adding a tombstone.

You can solve the issue by loading amsthm, so long as you continue to use svmono methods for defining new theorem-like environments.

\documentclass[12pt,sectrefs]{svmono}

\usepackage{amsmath}

\let\proof\relax\let\endproof\relax
\usepackage{amsthm}

\begin{document}

\chapter{Chapter Heading}
\section{Section Heading}
\subsection{Subsection Heading}

\begin{theorem}
Some statement
\end{theorem}

\begin{proof}
Here is the proof.
\end{proof}

\end{document}

Related Solutions

[Tex/LaTex] How to place the QED symbol at the end of equation using IEEEproof environment

The IEEEtran documentclass does have its own versions of \qedhere namely \IEEEQEDhereeqn for use in equations and \IEEEQEDhere for eqnarray and other enviroments, e.g. lists (thank you to Aditya for noting the latter). Here is a demonstration:

\documentclass{IEEEtran}

\newtheorem{theorem}{Theorem}

\begin{document}
\begin{theorem}
  Ordinary case.
\end{theorem}

\begin{IEEEproof}
  That's it!
\end{IEEEproof}

\begin{theorem}
  A statement.
\end{theorem}

\begin{IEEEproof}
  We see
  \begin{equation}
    x=y \IEEEQEDhereeqn\quad
  \end{equation}
\end{IEEEproof}

\begin{theorem}
  Another statement.
\end{theorem}

\begin{IEEEproof}
  We consider the following points:
  \begin{enumerate}
  \item assumptions,
  \item implications. \hspace{1em plus 1fill}\IEEEQEDhere
  \end{enumerate}
\end{IEEEproof}

\begin{theorem}
  Final statement.
\end{theorem}

\begin{IEEEproof}
  We compute
  \begin{IEEEeqnarray}{rCl}
    1 + 2 & = & 2 + 1 \IEEEnonumber\\
    & = & 3.
    \qquad\IEEEQEDhere
  \end{IEEEeqnarray}
\end{IEEEproof}

\begin{IEEEproof}[Alternative proof.]
  We compute
  \begin{equation}
    \begin{IEEEeqnarraybox}{rCl}
    1 + 2 & = & 2 + 1 \\
    & = & 3.
  \end{IEEEeqnarraybox}
  \IEEEQEDhereeqn\quad
\end{equation}
\end{IEEEproof}

\end{document}

Note the spacing. For the equation version you need add some space afterwards otherwise it will be right up against the equation number. I have chose \quad but another possibility is \. In the other cases you see that \IEEEQEDhere does not place the symbol at the right-hand margin without help. I have shown how to this in an enumerate. For the IEEEeqnarray it is does not seem to be possible, but I give a work around, placing it inside an equation, in the case when you only want one equation number.

[Tex/LaTex] How to obtain claim numbered within proof without changing the default look

This may be what you want.

\usepackage{etoolbox}
\AtEndEnvironment{proof}{\setcounter{claim}{0}}

Here we reset the claim counter after each proof environment.

\documentclass{article}
\usepackage{amsmath}%
\usepackage{amsthm}%
\usepackage{amsfonts}%
\usepackage{amssymb}%

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}

\theoremstyle{remark}
\newtheorem{claim}{Claim}
%\numberwithin{claim}{theorem} %% <-- This is another alternative if you like little difference.
\usepackage{etoolbox}
\AtEndEnvironment{proof}{\setcounter{claim}{0}}
\begin{document}

\begin{theorem}
Bla
\end{theorem}

\begin{proof} There are some claims.
\begin{claim}
Bla
\end{claim}
\begin{claim}
Bla bla
\end{claim}
\end{proof}

\begin{theorem}
Bla
\end{theorem}

\begin{proof} There are some claims.
\begin{claim}
Bla
\end{claim}
\begin{claim}
Bla bla
\end{claim}
\end{proof}

\end{document}

Best Answer

Related Solutions

[Tex/LaTex] How to place the QED symbol at the end of equation using IEEEproof environment

[Tex/LaTex] How to obtain claim numbered within proof without changing the default look

Related Question