On Sun, Jun 9, 2013 at 4:33 PM, luigi scarso wrote: > > > > On Sun, Jun 9, 2013 at 4:27 PM, Steffen Wolfrum wrote: > >> ... no. it should look this (see below): $\overline{U_A}$ >> >> it should be ok now with the latest standalone -- luigi