Símbolo de igual subscrito

Question

Existe uma maneira não maluca de implementar um sinal = simples com uma condição/escopo escrito abaixo dele? Em particular, (expr1) = (x->a) (expr2)onde (x->a)está escrito como num limite, sob o sinal de igual?

Answer 1

Assim?

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

Você também pode adicionar um argumento opcional que permite deixar o conteúdo subdefinido vazar para a esquerda e para a direita.

\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}