Re: Bug status

[Bernhard Roider]

Andre Poenitz wrote:

...
Can you figure out in what kind of inset the cursor sits at this point
of time? I smell a macro

yes, it is. Its a \hookleftarrow