Re: [NTG-context] formula, bookmarks and misc

On Tue, 31 Oct 2006, Wolfgang Schuster wrote:

2006/10/29, Sebastian Rooks :

...

2/ I'm using bookmarks but abbreviations in heads do not work properly. I've used a workaround some 3 years ago but I cannot remember which. Any suggestion ? (see test file below)

\appendtoks \def\UK{UK} \to \simplifiedcommands

Why doesn't \doglobal\appendtoks\setvalue{#2}{#2}\to\simplifiedcommands line in the definition of dodocomplexsynonym do this automatically? Aditya