>> Ah, ok. Then `@label` should be indeed avoided. I would still
>> like to have a snappy command name, maybe `@mark` or `@tag`?
>
> 2. "Label" as the anchor name:
>
> @label Bows
> @heading Bögen
>
> Here there would be an anchor created called "Bows". @xref{Bows}
> would produce "See Bögen", pursuant to the @heading.
This is what I would like to have, but...
> It's case 1 that clashes with the LaTeX use.
... other e-mails in the thread show that it still causes confusion,
so we should refrain from using it (which is a pity, though).
Werner