列表中的缩进垂直线（如 P. Ording 的《99 Variations on a Proof》中所示）

Question

我想复制这个：

我对缩进垂直线感到困惑，我认为其他一切都只是列表。我尝试了几个leftbar和列表环境；但leftbar其中任何一个都没有缩进，我不知道如何修复它。

尝试使其工作以及我希望它如何工作的一个例子：

\renewenvironment{leftbar}[1][\hsize]
{% 
    \def\FrameCommand 
    {%
        
        {\hspace{-3pt}\color{black}\vrule width 1.5pt}%
        \hspace{-43pt}%must no space.
    }%
    \MakeFramed{\hsize#1\advance\hsize-\width\FrameRestore}%
}
{\endMakeFramed}%

\begin{enumerate}[label=]
\item a
    \begin{leftbar}
       a\\
       b\\
       c\\
    \end{leftbar}
\item b 
\end{enumerate}

我尝试leftbar在环境内部嵌套enumerate各种嵌套变体。我尝试了许多间距命令（例如\quad），我也尝试使用itemize而不是。当它们嵌套在另一个列表环境中时，enumerate还会制作leftbar和环境项。我尝试了环境，但我认为它不会起作用。（不是我的，我复制粘贴了它，以为它可能会有帮助）。enumeratealignedrenewenvironment

我的大部分输出如下所示：

原图来源为书中的第18个变体99 种变化证明作者：菲利普·奥尔丁 (Philip Ording)

Answer 1

也许这是朝着正确的方向发展的。

\documentclass{article}
\usepackage{amsmath}
\newenvironment{leftbar}{\begin{array}{@{}p{1.5ex}@{}|@{}p{1.5ex}@{}l}
    &&\begin{aligned}[t]
        }{\end{aligned}
    \end{array}}
\begin{document}
\begin{align*}
    a&=b\\
    &\begin{leftbar}
        &=c \\
        &=d\\ 
        &\begin{leftbar}
            &=e \\
            &=f\\ 
        \end{leftbar}\\
        &=g
    \end{leftbar}\\
    &=h
\end{align*}   
\end{document}