如何改变数学符号的类别？

Question

\rightarrow具有数学符号类 3，也就是说，它是一个数学关系。

我怎样才能定义一个宏，我们称之为\rightinf，以获得相同的右箭头字符，但作为普通的数学符号（比如说\infty）而不是数学关系？

提问原因： 我想用 来\rightinf指定有序集合中不受上述限制的区间，如(0, \rightinf)，而不是(0, \infty)。

Answer 1

怎么样

\newcommand{\rightinf}{\mathord{\rightarrow}}

或者更简洁地说，

\newcommand{\rightinf}{{\to}}

(\to是 的别名\rightarrow。)

\rightinf不过，至少对于您列出的用例而言，以这种方式创建宏可能没有必要：$(0,\to)$并$(0,{\to})$产生完全相同的输出。

这是完整的 MWE。它阐明了我的观点$(0,\to)$并$(0,{\to})$产生了完全相同的输出。

\documentclass{article}
\newcommand{\rightinf}{{\to}}
\begin{document}
$(0,\to)$

$(0,\rightinf)$
\end{document}

Answer 2

由于\rightarrow是\mathchardeftoken，你可以定义

\mathchardef\rightinf=\numexpr\rightarrow-"3000\relax

例子：

\documentclass{article}

\mathchardef\rightinf=\numexpr\rightarrow-"3000\relax

\begin{document}

$a\rightarrow b$

$a\rightinf b$

\end{document}

另一方面，

\newcommand{\rightinf}{\mathord\rightarrow}`

更简单。