☰

在 Tikz-CD 中合并箭头以显示含义

tag-icon • tag-icon tikz-pgf tikz-cd
在 Tikz-CD 中合并箭头以显示含义

我正在尝试创建一个图表，其中包含各种命题之间的逻辑含义，其中一些是连词。假设我想展示这一点：

 A => C
 A&B => D

到目前为止我能得到的最好的结果是这样的，但仍然有一些我无法摆脱的空间：

$$\begin{tikzcd}
     a\arrow[d,Rightarrow]
      \arrow[dr,Rightarrow,""{name=A}] 
   & b\arrow[to=A,Rightarrow,dash] \\
   c & d
\end{tikzcd}$$

渲染图

我觉得这一定是一个常见的问题，也许我忽略了一些明显的问题。

答案1

这有点像 hack，因为equals箭头的位置和长度是通过反复试验找到的。对于不同的图表，您必须进行调整。

在此处输入图片描述

\documentclass{article}

\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}
     a\arrow[d,Rightarrow]
      \arrow[dr,Rightarrow,""{name=A, xshift=4.85pt}] 
   & b\arrow[to=A, equals, shorten >=-8.75pt] \\
   c & d
\end{tikzcd}

\end{document}

可以将键shorten >与负值一起使用以增加箭头的长度。请注意和equals之间所需的空格。shorten>

相关内容