[NTG-context] formula, bookmarks and misc

[Aditya Mahajan]

On Tue, 31 Oct 2006, Wolfgang Schuster wrote:

> 2006/10/29, Sebastian Rooks <sebastian.rooks at free.fr>:
>> 
>> 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