# [OS X TeX] ams problems

Sue Lange s.lange at comsoc.org
Thu Jul 26 15:07:34 EDT 2007

Try this:

\documentclass[journal,twoside,final]{IEEEtran}
\usepackage{amsthm}
\begin{document}
\end{document}

I use the IEEEtrans.cls which I can send as an attachment or you can
try some other class. I don't know how to make a generic class
statement, otherwise I would send you a snippet with that.

Sue

At 2:37 PM -0400 7/26/07, Gary L. Gray wrote:
>Please post a minimal code snippet that gives you this problem so
>that we can have a look at it and try it.
>
>Regards,
>   Gary
>
>
>
>On Jul 26, 2007, at 2:49 PM, Sue Lange wrote:
>
>>For the second time in a week, I'm having problems with an ams
>>package. I'm finding it  hard to believe there isn't some core
>>problem with ams in my LaTex installation.
>>
>>My current problem is when the amsthm.sty package is loaded I get
>>the following error on compilation:
>>
>>(./amsthm.sty
>>
>>
>>! LaTeX Error: Command \proof already defined.
>>                Or name \end... illegal, see p.192 of the manual.
>>
>>See the LaTeX manual or LaTeX Companion for explanation.
>>Type  H <return>  for immediate help.
>>
>>The file compiles correctly as far as I can see, but it's hard to
>>check every little detail. Even when I have no text in a document
>>if this amsthm package loaded I'll get the error so it has nothing
>>to do with incorrectly coded text. It's as if my installation does
>>not want to use the amsthm package for some reason.
>>
>>Sue
>>
>>
>>
>>--
>>Sue Lange
>>Digital Production Manager
>>IEEE Communications Society
>>s.lange at comsoc.org
>>
>>Mac-TeX Website: http://www.esm.psu.edu/mac-tex/
>>TeX FAQ: http://www.tex.ac.uk/faq
>>List Archive: http://tug.org/pipermail/macostex-archives/
>>List Reminders & Etiquette: http://www.esm.psu.edu/mac-tex/list/
>>
>
>
>Mac-TeX Website: http://www.esm.psu.edu/mac-tex/
>TeX FAQ: http://www.tex.ac.uk/faq
>List Archive: http://tug.org/pipermail/macostex-archives/
>List Reminders & Etiquette: http://www.esm.psu.edu/mac-tex/list/

--
Sue Lange
Digital Production Manager
IEEE Communications Society
s.lange at comsoc.org