Enumeração diferente na mesma lista

Question

Quero fazer uma lista única na qual tenha duas enumerações diferentes, uma enumeração para cada Demonstração e outra para as Definições. Algo como:

1) Def. de Pippo

2) Def. de Plutão

[1] Prove que Plutão é o cachorro de Pippo

3) Definitivamente. de Topolino

[2] Prove que Topolino e Pippo são amigos

A ideia do código seria algo como:

\begin{enumerate} 
\item_def Def. of Pippo
\item_def Def. of Pluto
\item_proof Prove that Pluto is the dog of Pippo
\item_def Def. of Topolino
\item_proof Prove that Topolino and Pippo are friends
\end{enumerate}

Answer 1

Como alternativa, se você deseja evitar o pacote enumitem*, isso pode ser útil.

Não sei se você queria recuos - você sempre pode colocar algum espaçamento na definição, se for o caso.

\newcounter{enumcounter} % Used to reset counters - if you've only two new itemtypes,
                         % probably as easy to reset them explicitly, but for more this
                         % is more efficient
\newcounter{defcount}[enumcounter] % Counts your definition items,  resets every time enumcounter increments
\newcounter{proofcount}[enumcounter]

\newenvironment{myenumerate}{\begin{description}\stepcounter{enumcounter}}{\end{description}}
% defined a new environment, which uses description instead of enumerate or itemize, to avoid the pre-existing
% counters. The spacing is not identical, granted.

\newcommand*{\itemdef}{\item\addtocounter{defcount}{1}(\thedefcount) } % increments the counter, describes item look 
\newcommand*{\itemproof}{\item\addtocounter{proofcount}{1}[\theproofcount] }

\begin{document}
Here is an example:
\begin{myenumerate} 
\itemdef Def. of Pippo
\itemdef Def. of Pluto
\itemproof Prove that Pluto is the dog of Pippo
\itemdef Def. of Topolino
\itemproof Prove that Topolino and Pippo are friends
\end{myenumerate}

And another list of things to check that counters reset:
\begin{myenumerate}
\itemproof Blah
\itemdef Bleep
\itemproof Bloop
\end{myenumerate}
And another line to check that vertical spacing is fine.

*Sei que todos aqui adoram, o que é justo, mas é um dos primeiros pacotes que deve ser removido quando chega à nossa fila de edição de produção devido a conflitos com nossa configuração.

Answer 2

Algo assim deve fazer o que você quiser. O enumitempacote permite criar facilmente listas personalizadas e as listas podem ser especificadas para serem retomadas. No contexto atual, como a lista retomada está dentro da lista de definição, seu contador será local para essa lista. Consulte a enumitemdocumentação (ou outras dúvidas no site) para parâmetros de espaçamento etc.

\documentclass{article}
\usepackage{enumitem}
\newlist{defn}{enumerate}{1}
\newlist{demo}{enumerate}{1}
\setlist[defn]{label={\arabic*)}}
\setlist[demo]{label={[\arabic*]},resume}
\begin{document}
\begin{defn}

\item Def. of Pippo

\item Def. of Pluto

\begin{demo}
\item Prove that Pluto is the dog of Pippo
\end{demo}

\item Def. of Topolino

\begin{demo}
\item Prove that Topolino and Pippo are friends
\end{demo}
\end{defn}
\end{document}