Thanks. It's supposed to try an autodelimiter (something like "\left("
) first, and then fallback to regular symbols. Unfortunately, inside a
group, the fallback wasn't happening correctly. It's a one character
fix. ;)
Cheers,
Mike
Manuel Metz wrote:
> Hi,
> just want to point to a bug (2
Hi,
just want to point to a bug (2002836) reported on sourceforge.
I could track this a little bit more down and found that a subscript
like r'x_{\leftarrow}' fails, whereas r'x_\leftarrow' works (!); also
fails e.g. for r'x_{\leftrightarrow}'. Anything that starts with \right
or \Left wo
