☰

tikzcd 中的否定蕴涵箭头

tag-icon • tag-icon tikz-pgf diagrams tikz-cd
tikzcd 中的否定蕴涵箭头

我有四个属性 A、B、C、D，我试图将它们之间的逻辑蕴涵总结成一张图。到目前为止，我有以下图片，但我想将一些蕴涵箭头否定（例如，从 A 到 C、A 到 D、B 到 A、C 到 D 和 B 到 D 的箭头）。

在此处输入图片描述

\documentclass{article}    
\usepackage{tikz-cd}

\begin{document}
\begin{tikzcd}
  A 
    \arrow[Rightarrow, shift left=0.6ex]{d} 
    \arrow[Rightarrow, shift left=0.6ex]{dr}
    \arrow[Rightarrow, shift left=0.6ex]{r}
& B
    \arrow[Rightarrow, shift left=0.6ex]{l} 
    \arrow[Rightarrow, shift left=0.6ex]{d} 
\\
  C 
    \arrow[Rightarrow, shift left=0.6ex]{u}
    \arrow[Rightarrow, shift left=0.6ex]{r}
& D 
    \arrow[Rightarrow, shift left=0.6ex]{l}
    \arrow[Rightarrow, shift left=0.6ex]{ul}
    \arrow[Rightarrow, shift left=0.6ex]{u}
\end{tikzcd}
\end{document}

这可能与此密切相关问题，但我想知道是否有一个简单的解决方案，因为这是一种相当常见的情况。

答案1

你想拥有这样的东西吗？功劳归于敲击在他的回答在这里。

我稍微优化了样式的使用，并放大了非接触箭头的图像。中间的对角箭头缩短了一点，因为这样在这里看起来会更好。

% arara: pdflatex

\documentclass{article}
\usepackage{tikz-cd}
\usetikzlibrary{decorations.markings}
\tikzset{negated/.style={
        decoration={markings,
            mark= at position 0.5 with {
                \node[transform shape] (tempnode) {$\backslash$};
            }
        },
        postaction={decorate}
    }
}

\begin{document}
\begin{tikzcd}[arrows=Rightarrow, column sep=1.3cm, row sep=1.3cm, every arrow/.append style={shift left=0.8ex}]
    A 
    \arrow[negated]{d} 
    \arrow[negated, shorten <= 6pt,shorten >= 6pt]{dr}
    \arrow{r}
    & B
    \arrow[negated]{l} 
    \arrow[negated]{d} 
    \\
    C 
    \arrow{u}
    \arrow[negated]{r}
    & D 
    \arrow{l}
    \arrow[shorten <= 6pt,shorten >= 6pt]{ul}
    \arrow{u}
\end{tikzcd}
\end{document}

在此处输入图片描述

相关内容