如何输入用于限制和诱导表示的箭头？

Question

我正在写一篇关于表示理论的文章，​​我想输入向下箭头表示限制，向上箭头表示归纳。$\downarrow$和$\uparrow$给出的箭头并不紧挨着字母。例如

例如，我希望箭头位于字母旁边

有人知道我应该使用哪个命令吗？谢谢！

Answer 1

\downarrow被包围{...}。

\documentclass{article}
\usepackage{amsmath,amssymb}

\begin{document}
$X{\downarrow}^G_H(h)=X(h)$
\end{document}

\downarrow是一个关系符号，把它放在里面{...}会让它被视为属于“普通”类。

根据 egreg 的建议，可以使用更优雅的方式实现相同的结果\mathord：

\documentclass{article}
\usepackage{amsmath,amssymb}
\newcommand{\restr}{\mathord\downarrow} 
\newcommand{\ind}{\mathord\uparrow} 

\begin{document}
$X\restr^G_H(h)=X(h)$

and

$X\ind^G_H(h)=X(h)$
\end{document}