[NTG-context] One-off theorem titles

S Barmeier severinbarmeier at googlemail.com
Thu Mar 3 09:05:20 CET 2011

Currently I am using something like


to define theorems, lemmas, etc.

Sometimes a theorem or lemma will have its own name (e.g. Yoneda Lemma),
and I find it slightly cumbersome to write something like

3.1 Theorem (Yoneda Lemma)
3.1 Lemma (Yoneda)
3.1 Lemma (Yoneda Lemma)

and was really hoping that

\startlemma[text={Yoneda Lemma}]

would give me the desired

3.1 Yoneda Lemma

but it doesn't. I would like to keep the whole setup the same and only
change the text for this instance. Is there any way to implement this
except for defining a whole new enumeration for one
theorem/lemma/proposition by

\startenumeration[text={Yoneda Lemma},location= ... ]

Thank you.

More information about the ntg-context mailing list