在枚举内对齐

Question

是否有可能在环境内对齐\item内容？enumerate

我的预期输出是：

这是我手动得到的，（用 调整\hspace）

这些答案：

在枚举内对齐公式

枚举中的方程式按项目编号对齐

不要回答我的问题，因为他们试图在\items中使用 align

两者都不枚举内部对齐

平均能量损失

\documentclass{article}
\usepackage{enumitem}

\begin{document}
\begin{enumerate}
\item $X$ integrable $\Longrightarrow E[X|\mathcal{A}_1]$ integrable y $E[E[X|\mathcal{A}_1]]=E[X]$
\item $\mathcal{A}_1=\{\emptyset,\Omega\} \Longrightarrow E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega$
\item $\mathcal{A}_1=\mathcal{A}\Longrightarrow E[X|\mathcal{A}_1]=X \ c.s.[P_1]$ 
\end{enumerate}
\end{document}

Answer 1

假设这不是您的文档中唯一这样的显示，您可能会使用eqparbox设施。

\documentclass{article}
\usepackage{enumitem}
\usepackage{eqparbox}

\newcounter{mathenum}

\newenvironment{mathenum}
 {\begin{enumerate}\stepcounter{mathenum}}
 {\end{enumerate}}
\newcommand{\mathenumitem}[3]{%
  \item
  \eqmakebox[@@\themathenum @A@][l]{#1}%
  ${}\Longrightarrow{}$%
  \eqmakebox[@@\themathenum @B@][l]{#2}%
  \quad#3%
}

\begin{document}

\begin{mathenum}
\mathenumitem{$X$ integrable}
             {$E[X|\mathcal{A}_1]$ integrable y $E[E[X|\mathcal{A}_1]]=E[X]$}
             {}
\mathenumitem{$\mathcal{A}_1=\{\emptyset,\Omega\}$}
             {$E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega$}
             {}
\mathenumitem{$\mathcal{A}_1=\mathcal{A}$}
             {$E[X|\mathcal{A}_1]=X$}
             {c.s.$[P_1]$}
\end{mathenum}

\end{document}

稍微不同的版本，其中中心符号（应该是一个箭头）可以变化：

\documentclass{article}
\usepackage{enumitem}
\usepackage{eqparbox}

\newcounter{mathenum}

\newenvironment{mathenum}
 {\begin{enumerate}\stepcounter{mathenum}}
 {\end{enumerate}}
\newcommand{\mathenumitem}[4]{%
  \item
  \eqmakebox[@@\themathenum @A@][l]{#1}%
  \eqmakebox[@@\themathenum @B@][c]{${}#2{}$}%
  \eqmakebox[@@\themathenum @C@][l]{#3}%
  \quad#4%
}

\begin{document}

\begin{mathenum}
\mathenumitem{$X$ integrable}
             {\Longrightarrow}
             {$E[X|\mathcal{A}_1]$ integrable y $E[E[X|\mathcal{A}_1]]=E[X]$}
             {}
\mathenumitem{$\mathcal{A}_1=\{\emptyset,\Omega\}$}
             {\Longleftrightarrow}
             {$E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega$}
             {}
\mathenumitem{$\mathcal{A}_1=\mathcal{A}$}
             {\Longleftarrow}
             {$E[X|\mathcal{A}_1]=X$}
             {c.s.$[P_1]$} 
\end{mathenum}

\end{document}

Answer 2

我不会坚持使用enumerate。例如，可以在包中定义的环境alignat*中封装数字：fleqnnccmath

\documentclass{article}
\usepackage{nccmath}
%---------------- Show page layout. Don't use in a real document!
\usepackage{showframe}
\renewcommand\ShowFrameLinethickness{0.15pt}
\renewcommand*\ShowFrameColor{\color{red}}
%---------------------------------------------------------------%

\begin{document}
\begin{fleqn}
\begin{alignat*}{3}
&1.\ X \text{ integrable}\hspace{-11em} 
    &\quad&   \Longrightarrow E[X|\mathcal{A}_1] \text{ integrable y }
                    E[E[X|\mathcal{A}_1]]=E[X]                      \\
&2.\ \mathcal{A}_1 =\{\emptyset,\Omega\} 
    &&   \Longrightarrow E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega   
                                                                    \\
&3.\ \mathcal{A}_1 =\mathcal{A}
    &&   \Longrightarrow E[X|\mathcal{A}_1]=X \ c.s.[P_1]        \tag{$c.s.[P_1]$}   
\end{alignat*}
\end{fleqn}
\end{document}

（红线表示文本边框）