Enrico Forestieri <[EMAIL PROTECTED]> writes: > I tested your revised patch and now it also works with \tag*.
Just noticed a small problem. It works when importing a latex file, but I am not able to insert \tag* by using the keyboard. I obtain a \tag cell plus the *, but not a \tag* cell. -- Enrico