Qual é o contexto adequado para escrever tal prova por estilo de caso?

Question

Estou escrevendo algumas provas latexe atualmente gostaria de seguir o procedimento padrão para organizar minhas provas da seguinte maneira:

Eu sei como usar o latex mathmodo, bem como algum contexto como equationou align. No entanto, simplesmente não consigo descobrir como devo começar cada prova com um casealinhamento à esquerda...

Alguém poderia lançar alguma luz sobre esse problema? Muito obrigado!

Answer 1

Solução rápida e simples; você pode criar um novo tipo de lista detalhada com enumitem. Aqui você deve inserir \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}