必须相等和其他堆叠的数学符号

Question

我已经好几次想表达类似这样的话

  !
A = B

或者

   n->0
X ------> oo

在数学环境中。我如何实现这个目标？

相关说明：这个的正确术语是什么？毫不奇怪，用 Google 搜索!并=没有得到太多有用的结果。

Answer 1

在下面的代码中，我创建了一个新命令\mbeq（“必须相等”的缩写...），它是一个“数学关系”运算符（与“普通”等号类型相同）。\overset在运算符的定义中使用该命令\mbeq会自动使新命令“继承”该命令的第二个参数的类型\overset；因此，不必明确分配类型“mathrel”。

\documentclass{article}
\usepackage{amsmath}
 % "mbeq": must be equal
\newcommand{\mbeq}{\overset{!}{=}}
\begin{document}
$ a\mbeq b$, $x\xrightarrow{n\to 0}\infty$
\end{document}

最后，我不知道“必须相等”符号（感叹号设置在等号上方）的常用术语。我搜索了解纤，并且没有出现预定义的符号。

Answer 2

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\[ \overset{!}{=}\qquad x\xrightarrow{n\to 0}\infty \]

\end{document}