¿Cuál es el contexto adecuado para escribir dicha prueba por estilo de caso?

Question

Estoy escribiendo algunas pruebas latexy actualmente me gustaría seguir el procedimiento estándar para organizar mis pruebas de la siguiente manera:

Sé cómo usar el latex mathmodo, así como también algún contexto como equationo align. Sin embargo, simplemente no puedo entender cómo debo comenzar cada prueba con un casealineado a la izquierda...

¿Alguien podría arrojar algo de luz sobre este problema? ¡Muchas gracias!

Answer 1

Solución rápida y sencilla; puedes crear un nuevo tipo de lista detallada con enumitem. Aquí tienes que insertar \newlines manualmente.

\documentclass{article}
\usepackage{mathtools,enumitem,newpxtext}

\DeclarePairedDelimiter{\dbracket}{[\![}{]\!]}    

\newlist{caselist}{itemize}{1}
\setlist[caselist]{
  label=\textsl{Case},
  labelindent=0pt, %customize value for distance from left margin to "Case"
  leftmargin=4em, %customize value for distance from left margin to item content
  labelsep=*,
  align=left
}

\begin{document}
\noindent Text before
\begin{caselist}
  \item {\(f_{Z} \dbracket{x \coloneqq 0}(\sigma_{i}) = [x \mapsto Z]\sigma_{i}\)}:\newline{}
    Assume \(c_{i} = E, n\) and \(\alpha(E) = \sigma_{i}\)\newline{}
    Thus \(\sigma_{i+1} = f_{Z} [\![x \coloneqq 0]\!](\sigma_{i}) = [x \mapsto Z] \alpha(E)\)\newline{}
    etc.
  \item \(f_{Z} \dbracket{x \coloneqq 0}(\sigma_{i}) = [x \mapsto N]\sigma_{i}\) where \(m \ne 0\):\newline{}
    Assume \(c_{i} = E, n\) and \(\alpha(E) = \sigma_{i}\)\newline{}
    etc.
\end{caselist}
\noindent Text after
\end{document}