2

When I use amsthm with \usepackage[french]{babel}, I got Proof becoming Démonstration. In general, it is good, but in a special case of mine, I need it to be Proof. Could you help me to get this?

enter image description here

\documentclass[a4paper]{article}

\usepackage{amsthm}

\usepackage[utf8]{inputenc}     %% format d'encodage
\usepackage[french]{babel}      %% typographie française

\newtheorem{thm}{Theorem}

\begin{document}

\begin{thm}
This is a great theorem.
\end{thm}

\begin{proof}
This is a simple proof.
\end{proof}

\end{document}
4

You can use the optional argument for proof to provide the required name:

\documentclass[a4paper]{article}

\usepackage{amsthm}

\usepackage[utf8]{inputenc}     %% format d'encodage
\usepackage[french]{babel}      %% typographie française

\newtheorem{thm}{Theorem}

\begin{document}

\begin{thm}
This is a great theorem.
\end{thm}

\begin{proof}[Proof]
This is a simple proof.
\end{proof}

\end{document}

enter image description here

If you need to change the name for all the proof environments you can use

\addto\captionsfrench{\renewcommand\proofname{Proof}}

A complete example:

\documentclass[a4paper]{article}
\usepackage{amsthm}

\usepackage[utf8]{inputenc}     %% format d'encodage
\usepackage[french]{babel}      %% typographie française

\newtheorem{thm}{Theorem}
\addto\captionsfrench{\renewcommand\proofname{Proof}}

\begin{document}

\begin{thm}
This is a great theorem.
\end{thm}

\begin{proof}
This is a simple proof.
\end{proof}

\end{document}
  • Great ! Thank you. But could you show me how to make this default by \renewcommand? – user565739 Aug 31 '15 at 16:32
  • @user565739 You're welcome. Sure. please see my updated answer. – Gonzalo Medina Aug 31 '15 at 16:39
  • 1
    @user565739 I updated with a better alternative. – Gonzalo Medina Aug 31 '15 at 16:51

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.