垂直箭头上的注释

Question

我正在说明一些公式之间的关系。我需要在 iff 箭头上添加注释，以便稍后引用它们。我知道可以\overset这样做：

\[ A \overset{(1)}{\iff} B \overset{(2)}{\iff} C \]

但是当我像这样垂直排列公式时，如何做类似的事情：

\newcommand{\viff}{\mathbin{\rotatebox[origin=c]{90}{$\iff$}}}
\begin{gather*}
A\\
\viff\\
B\\
\viff\\
C
\end{gather*}

只需将 (1) 和 (2) 放在箭头旁边即可。注释的字体应该小一些。

Answer 1

这两种情况都有适合的包中的命令。对于第一种情况，您可以使用包\xLeftrightarrow中的命令mathtools，对于第二种情况（或两种情况），您可以使用包中的箭头tikz-cd。

\documentclass[12pt]{article}
\usepackage{mathtools}
\usepackage{tikz-cd}
\begin{document}
\[ A \xLeftrightarrow{~(1)~} B \xLeftrightarrow{~(2)~} C \]
\begin{tikzcd}
  A \arrow[d,Leftrightarrow, "(1)"] \\
  B \arrow[d,Leftrightarrow, "(2)"] \\
  C
\end{tikzcd}
\end{document}