Was ist ein geeigneter Kontext, um einen solchen Beweis im Fall-für-Fall-Stil zu verfassen?

Question

Ich schreibe gerade einige Beweise latexund möchte derzeit das Standardverfahren befolgen und meine Beweise folgendermaßen organisieren:

Ich weiß, wie man den Modus verwendet latex math, und auch einige Kontexte wie equationoder align. Ich kann jedoch einfach nicht herausfinden, wie ich jeden Beweis mit einem caselinksbündig ausgerichteten beginnen soll ...

Kann jemand Licht in dieses Problem bringen? Vielen Dank!

Answer 1

Schnelle, einfache Lösung: Mit können Sie eine neue Art von Aufzählungsliste erstellen enumitem. Hier müssen Sie \newlineallerdings manuell s einfügen.

\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}