☰

以案例形式撰写此类证明的适当背景是什么？

tag-icon • tag-icon math-mode proof-package
以案例形式撰写此类证明的适当背景是什么？

我正在写一些证明latex，目前我想按照标准程序以以下方式组织我的证明：

在此处输入图片描述

我知道如何使用latex math模式，以及一些上下文，例如equation或align。但是，我就是搞不清楚如何用case左对齐开始每个证明...

有人能解释一下这个问题吗？非常感谢！

答案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}

输出

相关内容