I have one problem with enumerating. The symbols for items look differently when the enumerating is done ''inside'' propositions from the enumerating done ''inside'' a proof.
The code
\documentclass[11pt,a5paperfootinclude=true,headinclude=true]{scrbook} % KOMA-Script book
\usepackage[T1]{fontenc}
\usepackage{lipsum}
\usepackage[linedheaders,parts,pdfspacing]{classicthesis} % ,manychapters
\usepackage[bitstream-charter]{mathdesign}
%\usepackage[osf]{libertine}
\titleformat{\section}
{\normalfont\bfseries}{\thesection}{1em}{}
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{multicol}
\usepackage{IEEEtrantools}
\usepackage{anysize}
\marginsize{0.1\paperwidth}{0.1\paperheight}{2cm}{2cm}
\newcommand{\bigslant}[2]{{\raisebox{.2em}{$#1$}\left/\raisebox{-.2em}{$#2$}\right.}}
\usepackage{enumerate}
\begin{document}
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example}
\theoremstyle{corollary}
\newtheorem{cor}[thm]{Corollary}
\theoremstyle{lemma}
\newtheorem{lem}[thm]{Lemma}
\theoremstyle{proposition}
\newtheorem{prop}[thm]{Proposition}
\newcommand{\ndiv}{\hspace{-4pt}\not|\hspace{2pt}}
\begin{prop}
\begin{enumerate}[(a)] % (a), (b), (c), ...
\item
\item
\end{enumerate}
\end{prop}
\begin{proof}
\begin{enumerate}[(a)] % (a), (b), (c), ...
\item
\item
\end{enumerate}
\end{proof}
\end{document}
and the result
Is there any remedy for this, so they look identical or is it impossible? Can we also make a reference to the enumerated item?
Thank you
Best Answer
I'd use the
enumitem
package that's much more flexible thanenumerate
and define a new environment for that kind of enumerations in theorems and proofs.Note that the theorem declarations should go before
\begin{document}
and that you're using inexistent styles. I removed the inessential bits.For ending a proof within an enumeration, use
\qedhere
, so that the tombstone will be placed on the last line.