Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

This produces an error (\* already defined):

\documentclass{report}
\usepackage{thmtools}
\declaretheorem[numbered=no]{theorem}
\begin{document}
     Nothing.
\end{document}

Adding package amsthm solves the problem:

\documentclass{report}
\usepackage{amsthm}
\usepackage{thmtools}
\declaretheorem[numbered=no]{theorem}
\begin{document}
     Nothing.
\end{document}

But what should I do if I would like to define my own proof environment (without changing my existing LaTeX code)? This produces an error (\proof already defined):

\documentclass{report}
\usepackage{amsthm}
\usepackage{thmtools}
\declaretheorem[numbered=no]{proof}
\begin{document}
     Nothing.
\end{document}

I could use package ntheorem as the backend of package thmtools, but the documentation of thmtools says that some features do not work with ntheorem.

share|improve this question
    
Just don't define proof: the environment provided by amsthm has many good features. –  egreg Jan 10 '12 at 11:54
    
I would like to change the appearance of the displayed proof. –  ASdeL Jan 10 '12 at 11:59
    
Why don't you tell what changes you want to make? –  egreg Jan 10 '12 at 12:06
    
Do not know yet. I would like to play with the features of thmtools until I am satisfied with the result. –  ASdeL Jan 10 '12 at 12:16
add comment

1 Answer

up vote 3 down vote accepted

You can simply fool LaTeX in thinking that proof is not defined:

\let\proof\relax
\declaretheorem[numbered=no]{proof}
share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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