Quiero hacer una lista única en la que tenga dos enumeraciones diferentes, una para cada Demostración y otra para las Definiciones. Algo como:
1) Def. de Pipo
2) Def. de Plutón
[1] Demuestra que Plutón es el perro de Pippo
3) Def. de Topolino
[2] Demuestra que Topolino y Pippo son amigos.
La idea del código sería 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}
Respuesta1
Como alternativa, si desea evitar el paquete enumitem*, esto podría resultar útil.
No sé si querías sangrías; si es así, siempre puedes dejar algo de espacio en la definición.
\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.
*Me doy cuenta de que a todos aquí les encanta, lo cual es justo, pero es uno de los primeros paquetes que debe eliminarse cuando llega a nuestra cola de edición de producción debido a conflictos con nuestra configuración.
Respuesta2
Algo como esto debería hacer lo que quieras. El enumitempaquete le permite crear fácilmente listas personalizadas y se pueden especificar listas para reanudarlas. En el contexto actual, dado que la lista reanudada está dentro de la lista de definición, su contador será local para esa lista. Consulte la enumitemdocumentación (u otras preguntas en el sitio) para conocer los parámetros de espaciado, 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}
