如何排版包含大量横跨多行括号的复杂对齐环境

Question

我想排版一个复杂证明的方案 - 类似于对齐环境，但两侧有很多横跨多行的括号。以下是我想要的粗略图片：

                                       / Property 6
                / Property 2      <=> <            
                |                      \ Prooooperty 7  \
                |                                        |
                |                      / Property 8      |
                | Proooperty 3 \       |                 |       / Property 11
Property 1 <=> <                > <=> <  Property 9       > <=> <
                | Property 4   /       |                 |       \ Property 12
                |                      \ Property 10     |
                |                                        |
                \ Property 5             Property 5      /

我该如何排版？

当然，所有这些“属性”都有不同的宽度（我尝试用不同数量的“o”来模拟这一点）和不同的高度。

我在这里发现了一个可能的线索：如何在表格中创建跨越多行的大括号？。然而，这会导致每个周围的间距太大，并且结果将不适合可用的文本宽度。

Answer 1

虽然需要很多操作，但使用multirow和bigdelim是可行的。为了消除我使用的括号保留的列中的空白@{}，然后调整间距，请使用一些\hspace。

\documentclass{article}
\usepackage{multirow}
\usepackage{bigdelim}
\newcommand\RD[1]{\rdelim\}{#1}{8mm}[$<=>$]}
\newcommand\LD[1]{\ldelim\{{#1}{8mm}[$<=>$]}
\newcommand\LLD[1]{\ldelim\{{#1}{0.3mm}[\hspace*{2mm}]}
\begin{document}

\begin{tabular}{r @{}r l @{\extracolsep{3mm}}r l @{}r @{}c l l}
%
%      1      {          3             }    {     6          }      {       9
%    
            &       &              & \LD3 & Property 6    &  &                     &             \\
            &\LD{10}& Property 2   &      &               &  &                     &             \\
            &       &              &      & Prooooperty 7 &\RD9 &                  &             \\
            &       &              &      &               &  &                     &             \\     
            &       &              &\LLD5 & Property 8    &  &                     &             \\
 \multirow{2}*{Property 1}
            &       & Proooperty 3 & \RD3 &               &  & \hspace{-2mm}\LLD3 & Property 11  \\
            &       &              &      & Property 9    &  &                     &             \\
            &       & Property 4   &      &               &  &                     & Property 12 \\
            &       &              &      & Property 10   &  &                     &             \\
            &       &              &      &               &  &                     &             \\
            &       & Property 5   &      & Property 5    &  &                     &             \\
\end{tabular}

\end{document}