3

There are a lot of topics about the custom proof environments. But none of them do what I want to do. So let's get started:

I want to redefine! the proof environment. So i want the same behaviour as the latex proof environment. But i want to change the font and the qed symbol. So it should be something like this:

Code

\renewenvironment{proof}{{\bfseries \ttfamily \scshape MyProof:}}{\ttfamily \scshape{qed}}

But as i said. That's not exactly what I want because there is no new line before and after the proof environment and the qed is not on right side of the last line of the proof and so on.

Thank you in advance!

1 Answer 1

4

Just use the right hooks:

\documentclass{article}
\usepackage{amsthm}

\renewcommand{\proofname}{\normalfont\ttfamily\scshape MyProof:}
\renewcommand{\qedsymbol}{\texttt{QED}}

\begin{document}

\begin{proof}
Very easy exercise for the reader.
\end{proof}

\end{document}

enter image description here

Then, after seeing the result, decide for not doing it. ;-)

With babel

If you are using babel, remember that \proofname is one of the language specific tags, so its redefinition must be done via the language caption mechanism:

\addto\captionsenglish{%
  \renewcommand{\proofname}{\normalfont\ttfamily\scshape MyProof:}%
}

Use the appropriate \captions<language> command.

14
  • Using the optional argument for proof will not automatically preserve the font change unless manually incorporated. Sep 29, 2015 at 15:39
  • @GonzaloMedina Yes, you're right. I don't think it's needed anyway.
    – egreg
    Sep 29, 2015 at 15:46
  • 1
    I agree; I just thought it's worth mentioning (the need to introduce the font change manually), in case OP decides to use the optional argument. Sep 29, 2015 at 15:48
  • @egreg It's weird. In your / my minimal example the changes of the proof environment do work. In my actual document it doesn't. Nothing changed although I have copied the two changes into preamble (before \begin{document}). Do have any ideas why it doesn't work there?
    – Tech
    Sep 30, 2015 at 7:46
  • @Tech Sorry, no. What do you mean by “doesn't work”?
    – egreg
    Sep 30, 2015 at 8:40

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .