☰

如何在颜色框之间画箭头

tag-icon • tag-icon page-breaking arrows tcolorbox tikzpagenodes
如何在颜色框之间画箭头

我已经编写了 Z 规范并在架构周围画了框。我正在尝试弄清楚如何从架构到架构绘制箭头。

\documentclass{article}
\usepackage{zdra}

\begin{document}

\zlemma{
\begin{schema}{BirthdayBook}
known: \power NAME \\
birthday: NAME \pfun DATE
\where
\postcon{known=\dom birthday}
\end{schema}
}

\text{
This $InitBirthdayBook$ specifies the initial state
of the birthday book system.  It does not say explicitly that
$birthday'$ is empty, but that is implicit, because its domain
is empty.}

\zlemma{
\begin{schema}{InitBirthdayBook}
BirthdayBook~'
\where
\postcon{known' = \{ \}}
\end{schema}
}

\end{document}

我已经得到了图解周围的框，它只是我需要的从一个框到另一个框的箭头。

在此处输入图片描述

编译所需的软件包可以在这里找到http://www.macs.hw.ac.uk/~lb89/packages/

答案1

尽管 OP 包含标签，但tcolorbox我认为它没有用处，但如果他想将盒子转换为，则tcolorboxes很容易链接它们。overlay并且remember as选项可以做到这一点。

在此处输入图片描述

\documentclass{article}
\usepackage[most]{tcolorbox}

\begin{document}

\begin{tcolorbox}[enhanced, title=first box, overlay, remember as=first]
Some text inside a box
\end{tcolorbox}

\begin{tcolorbox}[enhanced, title=second box, overlay, remember as=second]
Some text inside a box
\end{tcolorbox}

\begin{tikzpicture}[overlay,remember picture,line width=1mm,draw=red!75!black]
\draw[->] (first.west) to[bend right] (second.west);
\end{tikzpicture}

\end{document}

相关内容