Aaaah, thanks, it works great!
I looked for hours for a setting of the sort...
I do still think that this is a bug however: when I don't use the setting
you provided and don't use pretty-entities, after I place the
sub/superscript sign, the point gets places inside the braces. If I do
Anders Johansson mejlaandersj at gmail.com writes:
I used the configuration:
Did you fish around enough to find a workaround? I have the same problem...