tikz-cd условный оператор с диаграммами

Question

Есть ли стандартный способ сделать фигуру tikz-cd, состоящую из двух коммутативных диаграмм, появляющихся рядом с \Rightarrow между ними? Я хотел бы написать условное выражение с диаграммами.

Answer 1

Просто разместите диаграммы рядом, единственная проблема — вертикальное выравнивание.

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

\begin{document}

\begin{equation*}
\begin{tikzcd}[baseline=-axis_height]
A \arrow[r] \arrow[d] & B \arrow[d] \\
C \arrow[r] \arrow[d] & D \arrow[dl] \\
E
\end{tikzcd}
\implies
\begin{tikzcd}[baseline=-axis_height]
X \arrow[r] \arrow[dr] & Y \arrow[d] \\
& Z
\end{tikzcd}
\end{equation*}

\end{document}