![prooftrees - 一行对齐](https://linux22.com/image/458815/prooftrees%20-%20%E4%B8%80%E8%A1%8C%E5%AF%B9%E9%BD%90.png)
我使用 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}