Re: using \pushToTag and \removeWithTag consecutively

[David Kastrup]

Gianmaria Lari <address@hidden> writes:

> I don't understand the behaviour of this code:
>
> \version "2.19.81"
> var = {a \tag #'here {b} a}
> {\var} %Result: a b a
> {\removeWithTag #'here \var}  %Result: a a
> {\pushToTag #'here b! \removeWithTag #'here \var}  %Result: a a ; Expected:
> a b! a
>
>
> The result is:
>
> a b a - ok!
> a a - ok!
> a a - not ok; shouldn't be "a b! a" ??

\removeWithTag removes the tagged expression.  Which includes the tag
itself.

-- 
David Kastrup