Какой контекст является подходящим для написания такого стиля доказательства по делу?

Question

Я пишу некоторые корректуры latexи в настоящее время хотел бы следовать стандартной процедуре, чтобы организовать их следующим образом:

Я знаю, как использовать latex mathрежим, а также некоторый контекст, например equationили align. Однако я просто не могу понять, как мне начинать каждое доказательство с caseвыравнивания по левому краю...

Может ли кто-нибудь пролить свет на эту проблему? Большое спасибо!

Answer 1

Быстрое, простое решение; вы можете создать новый вид детализированного списка с помощью enumitem. Здесь вам придется вручную вставлять \newlines.

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