3

I am typing up solutions to a variety of problems in a textbook, and I want to use the proof environment for proofs but a similar environment for solutions. The link here

Duplicating the amsthm proof environment

shows how I can make my own solution environment, but I want the indication for the end of a solution to be slightly different than that of a proof. I'd like solutions to end with the QED as \blackbox whereas I want the proof environment to stay as it is (white box to indicate QED). Is there an easy way to make this happen?

3

You also can do that very simply with ntheorem. Its advantage is an automatic placement of endmarks even if the environment ends in a display math environment:

\documentclass[leqno]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{fourier}
\usepackage{heuristica}

 \usepackage{amsmath}
\usepackage[thmmarks, amsmath, thref]{ntheorem}

\theoremstyle{nonumberplain}
\theoremheaderfont{\itshape}
\theorembodyfont{\upshape}
\theoremseparator{.}
\theoremsymbol{\ensuremath{\square}}
\newtheorem{proof}{Proof}
\theoremsymbol{\ensuremath{\blacksquare}}
\newtheorem{solution}{Solution}
\theoremseparator{. ---}
\theoremsymbol{\mbox{\texttt{;o)}}}
\newtheorem{varsol}{Solution (variant)}

\begin{document}

    \begin{proof}Since something is true, we have
      \[ A = B. \]
    \end{proof}


    \begin{solution}[of some exercise]
      This is a very intricate solution.
      \begin{align*}
        a & = b \\ c & = d.
      \end{align*}
    \end{solution}

    \begin{varsol}
      This solution is so very simple that it’s not even worth writing it. Just pure thought:
      \begin{equation}\label{void}
      \end{equation}
    \end{varsol}
\end{document} 

enter image description here

6

Gonzalo's answer can be easily modified to do this. Just add \renewcommand\qedsymbol{$\blacksquare$} to the definition

\documentclass{article}
\usepackage{amsthm,amssymb}

\newenvironment{solution}
  {\renewcommand\qedsymbol{$\blacksquare$}\begin{proof}[Solution]}
  {\end{proof}}

\begin{document}

\begin{proof}
test.
\end{proof}

\begin{solution}
test.
\end{solution}

\begin{proof}
test.
\end{proof}

\end{document}

enter image description here

  • What are the dimensions of the regular QED symbol? I'd like my black square to look exactly like that--I know you have 3mm and it looks like 2.5mm fits better, but I'm not sure of the exact size. – Daniel W. Farlow Nov 8 '14 at 12:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.