☰

用“树形箭头”排版图表

tag-icon • tag-icon diagrams commutative-diagrams
用“树形箭头”排版图表

我正在尝试绘制以下形式的图表：

在此处输入图片描述

更理想的是，我希望这两棵树都有标签（如上图中的 $\mathcal T$ 和 $\pi\mathcal T$），和还有一个从树上伸出的实心箭头上的标签。

这可以在 xymatrix 中完成吗，还是我必须拿出大 tikz 枪？

谢谢！

（顺便说一下，这个具体图表来自 John Steel 的文章“内模型理论概述”）

答案1

这是一个例子tikz-cd。半虚线箭头的代码略微修改自Ignasi 的这个回答，其中还包括一些补充内容。

输出

在此处输入图片描述

代码

\documentclass[margin=10pt]{standalone}
\usepackage{tikz-cd}

\usetikzlibrary{decorations.pathreplacing,calc,arrows.meta}

\tikzset{
    triple/.style={
    decoration={show path construction, 
      lineto code={
          \draw[dotted,-] (\tikzinputsegmentfirst) --($(\tikzinputsegmentfirst)!.7!(\tikzinputsegmentlast)$) coordinate (a);,
          \draw[-{Latex}] ($(\tikzinputsegmentfirst)!.7!(\tikzinputsegmentlast)$)--(\tikzinputsegmentlast);
          \draw[-] (\tikzinputsegmentfirst) --++ (10:1.6cm) node[midway, above, font=\footnotesize] {#1};
          \draw[-] (\tikzinputsegmentfirst) --++ (-10:1.6cm);,
      }
    },
    decorate
    },
}

\begin{document}
\begin{tikzcd}
N \arrow[rr, triple={$\pi T$}]& & N_{\alpha}\\
M \arrow[u, swap, "\pi"] 
\arrow[rr, triple={$T$}]
& & M_{\alpha} \arrow[u, swap, "\pi_{\alpha}"]\\
\end{tikzcd}
\end{document}

相关内容