Ho diversi lemmi in cui specificano le costanti $ C_1 $, $ C_2 $ e così via per riferimenti futuri. Naturalmente, questo è fastidioso quando inserisco una nuova definizione costante nel mezzo. Quello che mi piacerebbe è una macro che mi permetta di assegnare etichette alle costanti e gestisce la numerazione per me. Sto pensando qualcosa sulla falsariga diCostanti etichettate in LaTeX
%% Pseudocode
\begin{lemma}
\newconstant{important-bound}
We will show that $f(x) \le \ref{important-bound} g(x)$ for all $x$.
\end{lemma}
È possibile?
cosa è 'importante-bound' riferito a? Per esempio, è il numero del lemma? –
Credo che vorrebbe * definire * 'important-bound' con il comando' \ newconstant' come il 'prossimo' C_i, ed essere in grado di '\ ref' ad esso in seguito. – finrod
Sì, grazie finrod. E forse '\ newconstant' dovrebbe prendere un parametro che ti permetta di specificare il simbolo di base (così puoi avere C_i o c_i o whathaveyou). – Joshua