\WidestSymbol set using \global