Подчеркнутый символ равенства

Question

Есть ли несумасшедший способ реализовать простой знак = с условием/областью действия, написанной под ним? В частности, (expr1) = (x->a) (expr2)где (x->a)написано как в пределе, под знаком равенства?

Answer 1

Так?

\documentclass{article}
\newcommand\underrel[2]{\mathrel{\mathop{#2}\limits_{#1}}}
\begin{document}
$x \underrel{x\to a}{=} a$
\end{document}

Вы также можете добавить необязательный аргумент, который позволит сделать так, чтобы содержимое нижнего элемента растекалось слева и справа.

\documentclass{article}
\usepackage{mathtools}
\newcommand\underrel[3][]{\mathrel{\mathop{#3}\limits_{%
      \ifx c#1\relax\mathclap{#2}\else#2\fi}}}
\begin{document}
$
x \underrel{x\to a}{=} a
\quad
x \underrel[c]{x\to a}{=} a
$
\end{document}