このようなケースごとの証明を書くための適切なコンテキストは何ですか?

Question

私はいくつかの証明を書いていますがlatex、現在は標準的な手順に従って、次のように証明を整理したいと考えています。

latex mathモードの使い方や、 やequationのようなコンテキストの使い方はわかっています。しかし、を左揃えにしalignて各証明をどのように開始すればよいのかがわかりません...case

誰かこの問題について何か説明してくれませんか? どうもありがとうございます!

Answer 1

簡単で素早い解決法。 を使用して新しい種類の項目別リストを作成できますenumitem。 ただし、ここでは を手動で挿入する必要があります\newline。

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