如何在数学模式中制作一个蕴涵箭头的正方形？

Question

我有两个等价物

A <=> B

C <=> d

这在数学模式下不难。但是，如何才能很好地插入从 A 到 C、从 B 到 D 的蕴涵符号（即 A => C，以及 B =>D）？

Answer 1

例如，您可以使用tikz-cd：

\documentclass[border=4mm]{standalone}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A \arrow[r,Leftrightarrow] \arrow[d,Rightarrow] & B \arrow[d,Rightarrow] \\
C \arrow[r,Leftrightarrow] & D
\end{tikzcd}
\end{document}

array以下是使用和标准箭头的版本：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\begin{array}{c@{}c@{}c}
AAA & \implies & B \\
\Downarrow & & \Downarrow \\
D & \implies & D 
\end{array}
\]
\end{document}

Answer 2

另一个解决方案xymatrix：

\documentclass{article}
\usepackage[all]{xy}
\begin{document}
\[
\xymatrix{
    A\ar@{<=>}[r] \ar@{=>}[d] & B\ar@{=>}[d]\\
    C\ar@{<=>}[r]             & D
}
\]
\end{document}