그러한 증거를 사례 스타일로 작성하는 데 적합한 맥락은 무엇입니까?

Question

나는 몇 가지 교정을 작성 중이며 latex현재 표준 절차에 따라 다음과 같은 방법으로 교정을 구성하고 싶습니다.

나는 모드를 사용하는 방법 latex math과 equation또는 같은 일부 컨텍스트를 알고 있습니다 align. 그러나 case왼쪽에 정렬된 각 증명을 어떻게 시작해야 하는지 알 수 없습니다 ...

누구든지 이 문제에 대해 밝힐 수 있습니까? 정말 고마워!

Answer 1

빠르고 간단한 솔루션; 를 사용하면 새로운 종류의 항목별 목록을 만들 수 있습니다 enumitem. 여기서 수동으로 s를 삽입해야 합니다 \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}