我有几个引理,在其中我规定常数$C_1$、$C_2$等供以后参考。当我稍后在中间插入新的常数定义时,这自然是令人烦恼的。我想要的是一个宏,它能让我为常数分配标签,并为我处理编号。我想到的是以下内容:
%% Pseudocode
\begin{lemma}
\newconstant{important-bound}
We will show that $f(x) \le \ref{important-bound} g(x)$ for all $x$.
\end{lemma}
这是可能的吗?
\newconstant
来定义important-bound
为下一个C_i,并且之后能够通过\ref
引用它。 - finrod\newconstant
应该带一个参数,让你可以指定基本符号(这样你就可以有C_i或c_i或其他)。 - Joshua