关于简单图表的两个问题

Question

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

\begin{document}

\begin{tikzpicture}[baseline= (a).base][>=stealth,>=implies]
\node[scale=1.4] (a) at (0,0){
\begin{tikzcd}
    \text{(a)}  \rar[Leftrightarrow]  
    & [1.8em] \text{(b)}  
    & [2em]  \text{(c)}\lar[Leftarrow]\arrow[ddl,Rightarrow]\footnotesize\text{(i,ii, or iii)}\\
    & \vspace{-5mm}  \\&\text{\hspace{1mm}(b)$^\prime$}\arrow[uu,Leftrightarrow] 
    \end{tikzcd}
};
\end{tikzpicture}

\end{document}

产生这个：

问题：

（1）我怎样才能使对角箭头从（c）开始，就像通常没有“（i、ii 或 iii）”一样？

（2）从（b）到（c）的箭头需要一条通过中心的线，类似于$\centernot\implies$产生的结果：

Answer 1

这是我给你的建议：

1. 使用start anchor=south west选项
2. /在箭头上贴上一个（作为“假”标签，编辑：egreg 的回答让我意识到简单就足够了，而不是像我之前的版本那样/倒置）。\backslash

顺便问一下：为什么要将一个tikzcd（即一个tikzpicture）嵌套在另一个中tikzpicture？

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

\begin{document}

    \begin{tikzcd}
        \text{(a)}  \rar[Leftrightarrow]  
        & [1.8em] \text{(b)}  
        & [2em]  \text{(c)\footnotesize(i,ii, or iii)}\arrow[l, Leftarrow, "/" {yshift=7pt, scale=1.2}]
        \arrow[ddl,Rightarrow,start anchor=south west]\\
        & \vspace{-5mm}  \\&\text{\hspace{1mm}(b)$^\prime$}\arrow[uu,Leftrightarrow] 
    \end{tikzcd}

\end{document}

输出：

Answer 2

您可以使用Percusse 的这个回答对于负箭头：

\documentclass{amsart}
\usepackage{tikz-cd}
\usetikzlibrary{decorations.markings}
% https://tex.stackexchange.com/a/51024/
\tikzset{
  negated/.style={
    decoration={
      markings,
      mark=at position 0.5 with {\node[transform shape] (tempnode) {$/$};},
    },
    postaction={decorate},
  },
}
\begin{document}

\begin{tikzcd}[column sep=4em,row sep=4em,inner xsep=0pt]
\text{(a)} \arrow[r,Leftrightarrow] &
\text{(b)} \arrow[d,Leftrightarrow] \arrow[r,Rightarrow,negated] &
\text{(c) (i, ii, or iii)} \arrow[dl,Rightarrow,start anchor=south west] \\
& \text{(b)\makebox[0pt][l]{$'$}} % no width for the prime
\end{tikzcd}

\end{document}