数学符号注解

Question

是否可以像下图一样注释等号？

\begin{equation}
E[|A\cup B|]=E[|A|+|B|-|A\cap B|]=E[|A|]+E[|B|]-E[|A\cap B|]
\end{equation}

Answer 1

您可以使用包\overset提供的宏amsmath：

\documentclass{article}
\usepackage{amsmath} % for \overset and \text macros
\begin{document}

\begin{equation}
E[|A\cup B|]=E[|A|+|B|-|A\cap B|] 
\overset{\text{linearity}}{=} 
E[|A|]+E[|B|]-E[|A\cap B|]
\end{equation}\

\end{document}

---

附录：如果您还需要“线性”下方的垂直箭头，只需替换

\overset{\text{linearity}}{=}

和

\overset{\substack{\text{linearity} \\ \downarrow}}{=}

该包\substack还提供了宏amsmath。

Answer 2

您可以使用\overset和\substack，并使用一个技巧使注释具有零宽度：

\documentclass{article}
\usepackage{amsmath}

\newcommand{\annoterel}[2]{%
  \overset{%
    \substack{\hidewidth\text{#1}\hidewidth\\\downarrow}%
  }{#2}%
}

\begin{document}

\begin{equation}
E[|A\cup B|] = E[|A|+|B|-|A\cap B|]
\annoterel{linearity}{=} E[|A|]+E[|B|]-E[|A\cap B|]
\end{equation}

\end{document}

如果您需要箭头更高，可以进行轻微的修改，也许是为了容纳分数或其他大符号：

\newcommand{\annoterel}[3][]{%
  \overset{%
    \substack{\hidewidth\text{#2}\hidewidth\\#1\downarrow}%
  }{#3}%
}

现在宏有一个可选参数，应该是、或\annoterel之一；例如\big\Big\bigg\Bigg

\begin{equation}
E[|A\cup B|] = E[|A|+|B|-|A\cap B|]
\annoterel[\Big]{linearity}{=} E[|A|]+E[|B|]-E[|A\cap B|]
\end{equation}

会产生