下付きイコール記号

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}