☰

prooftrees - 一行对齐

tag-icon • tag-icon prooftrees
prooftrees - 一行对齐

我使用 prooftrees 进行表格校样，并希望能够使用横跨所有三行的括号来陈述第 2-4 行的对齐方式，该括号右侧是对齐文本。手册中描绘的两行示例是由 Clea F. Rees（prooftrees 的作者）提供的，但我不知道如何使对齐文本整齐排列，也不知道如何使其适用于两行以上。

\documentclass[a4paper, 12pt]{article}
\usepackage[tableaux]{prooftrees}
\usetikzlibrary{decorations.pathreplacing,arrows.meta,positioning,calc,arrows.meta,fit,backgrounds,tikzmark}
\begin{document}
\begin{tableau}
{}
[A \to (\bot \to \bot)  \mbox{, $-0$}, name=n1, 
[r011,
[A  \mbox{, $+1$},  just=$(\to_{-})$:n1, tikz+/.wrap pgfmath arg={%
          \draw [thick, decorate, decoration={brace, mirror}] 
          (!1.south west -| just #1.west) ++(0,5pt) -- (just #1.north west);
        }{level()}
[\bot \to \bot  \mbox{, $-1$}, name=n2, just={}
]]]]
\end{tableau}
\end{document}

答案1

您可以node在括号中添加一个，就像在普通的 Ti 中一样钾Z 使用node[right]{$(\to_{-})$}。

无关，但mbox如果将内容括在括号中，则 es 是不必要的。例如，{A,+1}而不是A \mbox{, $+1$}。这会创建一个“窄空间”而不是“单词间空间”。如果您喜欢更大的空间，您可以使用{A,\ +1}。

最后，我使用yshift=5pt作为坐标选项而不是++(0,5pt)。

在此处输入图片描述

\documentclass[a4paper, 12pt]{article}
\usepackage[tableaux]{prooftrees}
\usetikzlibrary{decorations.pathreplacing,arrows.meta,positioning,calc,arrows.meta,fit,backgrounds,tikzmark}
\begin{document}
\begin{tableau}
{}
[{A \to (\bot \to \bot),-0}, name=n1, 
[r011,
[{A,+1},  just={}:n1, tikz+/.wrap pgfmath arg={%
          \draw [thick, decorate, decoration={brace, mirror}] 
          ([yshift=5pt]!1.south west -| just #1.west) --node[right]{$(\to_{-})$} ([yshift=5pt]just #1.north west);
        }{level()}
[{\bot \to \bot, -1}, name=n2, just={}
]]]]
\end{tableau}
\end{document}

相关内容