小编Jos*_*hua的帖子

我有几个lemmas,我在其中指定常量$ 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}

这可能吗？